@import "pygment.css";
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Sans&display=swap');
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono&display=swap');

body {
    font-family: 'IBM Plex Sans', sans-serif;
    font-size : 18px ;
    background-color : #272822 ;
    color : #eee ;
    width : 80% ;
    min-width : 400px ;
    min-height : 200px ;
    padding : 1em ;
    margin : 40px auto;
    max-width: 700px;
    border-style: none;
    display : block ;
    line-height: 1.4;
}

a:link    { color : #98971a; text-decoration : none ;      }
a:hover   { color : #98971a; text-decoration : underline ; }
a:visited { color : #98971a;                               }

h1 a { color : inherit !important }
h2 a { color : inherit !important }
h3 a { color : inherit !important }
h4 a { color : inherit !important }
h5 a { color : inherit !important }
h6 a { color : inherit !important }

pre {
    margin : 1em 1em 1em 1em ;
}

.highlight {
    font-family: 'IBM Plex Mono', monospace;
}

#menu li {
    display : inline ;
}

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

.body {
    margin-bottom: 1.5cm;
}

.utterances {
    margin-top: 1cm;
}