body {
    background: url('../img/bg18.png') center center fixed, #fafafa;
    text-align: justify;
    overflow-y: scroll;
    font-family: 'Roboto', sans-serif;
    hyphens: auto;
}

h1,
h2,
h3,
h4 {
    font-weight: normal;
}

h1 {
    margin: 10px 0px;
}

.section {
    margin-bottom: 40px;
}

.container {
    padding-top: 40px;
}

#title {
    white-space: nowrap;
}

.obfus {
    display: none;
}

#content {
    padding: 20px 30px 30px;
    margin: 60px auto;
    background-color: #fff;
    border: 1px solid #e5e5e5;
    -webkit-border-radius: 5px;
    -moz-border-radius: 5px;
    border-radius: 5px;
    -webkit-box-shadow: 0 1px 2px rgba(0, 0, 0, .1);
    -moz-box-shadow: 0 1px 2px rgba(0, 0, 0, .1);
    box-shadow: 0 1px 2px rgba(0, 0, 0, .1);
}

@media (max-width: 767px) {
    #content {
        margin: 15px auto;
    }
}

ul.icons-ul {
    margin-left: 0px;
}

.abstract {
    text-align: justify;
}

.paperheader {
    text-align: center;
}

.monospace,
.bibtex {
    font-family: Monaco, Menlo, Consolas, "Courier New;", monospace;
    font-size: small;
}

#portrait {
    float: left;
    margin-top: 18px;
    margin-right: 12px;
    width: 175px;
    box-shadow: 2px 2px #888888;
}

.clear {
    clear: both;
}

h2 {
    position: relative;
}

a {
    color: #1565c0;
    font-weight: normal;
}

a.toplink {
    display: none;
    text-decoration: none;
    position: absolute;
    top: 0px;
    right: 0px;
    color: #BBB;
}

a:hover,
a:focus {
    text-decoration-style: solid;
    text-decoration-color: #073C78;
    text-decoration: none;
    color: #073C78;
}

a i.fa {
    /* since :has(i) is not yet implemented.. */
    color: #337ab7;
}

a:hover i.fa,
a:focus i.fa {
    color: #073C78;
}

dt {
    font-weight: normal;
}

dt .date {
    font-size: small
}

dd {
    font-style: italic;
    font-size: medium;
}

#toplink {
    display: block;
    position: fixed;
    bottom: 20px;
    right: 20px;
}

@media (max-width: 767px) {
    #toplink {
        display: none;
    }
}

pre.highlight {
    tab-size: 4;
}

div.alert p:last-child {
    margin-bottom: 0px;
}