@charset "utf-8";

.img-border img{
    border: 1px solid #CFCFCF;
    padding:0.15em;
    margin:0.25em 0 1em 0;
    /*box-shadow: 2px 2px 2px 2px rgba(0,0,0,0.2);*/
}
.pre-border pre{
    border: 1px solid #CFCFCF;
    margin: 1em;
    padding: 1em;
}

.nav-top{
    margin-top: 1em;
    text-align: center;
}
.nav-bottom{
    margin:1em 0;
    text-align: center;
}
.nav-prev-article{
    padding-right: 2em;
}