/* 
 * Just a nice and clean stylesheet for your fellow readers. 
 * Originally made for ams.
 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 * Author: Ferass El Hafidi
 * License: CC0 -- no rights reserved.
 */
body {
    font-family: sans;
    max-width: 120ch;
    margin: 0 auto;
    line-height: 1.7;
}
h1, h2 {
    color: #900;
    margin: 0 -30px;
    padding: 0.2em 30px;
    border-top: 2px solid #900;
    
}
h1 {
    border-top: none;
    border-bottom: 2px solid #900
}
h3 {
    color: #900;
}
center h1, center h2, .settitle, .titlefont {
    padding: 0.2em 0;
}
a {text-decoration: none;}
a[href]:hover { /* <- a[href] workaround */
    text-decoration: solid 2px #900 underline;
    color: #900;
}
pre {
    background: #eee;
    padding: 1em;
    border: 1px solid #ddd;
}
code {
    background: #eee;
    border: 1px solid #ddd;
}
table {border-collapse: collapse;}
table tbody tr td, table tbody tr th {
    border: 1px solid #ddd;
    padding: 0.5em;
}
table tbody tr th {background: #eee;}
hr {
    margin: 0 -30px;
    border: none;
    border-style: solid;
    border-width: 1px;
    border-color: #900;
    background: black;
}
td hr {margin: 0;}
kbd {
    background: #ddd;
    padding: 2px;
    margin: 2px;
    border: 0.5px black solid;
    border-radius: 3px;
}