/*@import url("/include/vendor/opensans.css");*/

body {
    background-color: #f9f9f9;
    font-family: 'DejaVu Sans Mono', 'Liberation Mono', Monospace, Courier, 'Open Sans', sans-serif;
    font-size: 1.1em;
    margin-top: 30px;
    margin-bottom: 100px;
}

h1 {
    font-size: 1.7em;
    margin-bottom: 20px;
}

h2 {
    margin-bottom: 15px;
    font-size: 1.4em;
    font-weight: bolder;
}

h3 {
    font-size: 1.2em;
    font-weight: bolder;
}

a, a:visited {
    border-bottom-style: solid;
    border-bottom-width: 1px;
    color: #990000;
    padding-bottom: 0px;
}

a:hover, a:active {
    background-color: #f5f5f5;
    color: #990000;
    text-decoration: none;
}

:not(#content) hr {
    margin-bottom: 25px;
}

#content, .bigger {
    font-size: 1.2em;
}

#container {
    background-color: white;
    border: 1px solid #eeeeee;
    border-radius: 15px;
    max-width: 800px;
    padding-bottom: 20px;
    padding-top: 20px;
}

#title {
    font-size: x-large;
}

#topmenu {
    align-items: center;
    display: flex;
    font-size: 1.5em;
    justify-content: space-around;
}

#topmenu a {
    border: none;
    padding-left: 3px;
    padding-right: 3px;
}

#content ul.spaced li {
    margin-top: 20px;
}

.even-bigger {
    font-size: 1.4em;
}

img#profile {
    max-width: 218px;
    width: 90%;
}

img.center {
    display: block;
    margin: auto;
}

a.blacklink {
    color: #333;
}

#blog-post-header {
    margin-bottom: 1em;
    margin-top: 1em;
}

/* font awesome hack to display text on ncurses browsers */
.fa .title {
    display: none;
}

.email {
    font-family: monospace;
    font-size: 0.9em;
    font-weight: bold;
}

code, pre {
    background-color: #f9f9f9;
}

.post-date {
    color: black;
}

div.blogpost pre {
    margin-bottom: 20px;
    margin-top: 10px;
}

.lastpost {
    background-color: #f9f9f9;
    border: 1px solid #eeeeee;
    padding-right: 20px;
    padding-left: 20px;
}

@media (max-width: 799px) {
    body {
        margin-top: 0px;
    }
    #container {
        border: none;
        border-radius: 0;
    }
}

@media (max-width: 600px) {
    #topmenu {
        align-items: flex-end;
        flex-direction: column;
    }
    #topmenu a {
        margin-bottom: 4px;
    }
    .separator {
        display: none;
    }
}