@import url("computer-modern.css");

/* Typography */
body {
    font-size: 112.5%;
    line-height: 150%;
}
.baseline {
    background: repeating-linear-gradient(to bottom, #fcc, #fcc 1.5em, #ccf 1.5em, #ccf 3em);
}
h1, h2, h3, h4, h5, h6, address, article > time {
    display: block;
    text-align: center;
}
h1 {
    font-size: 1.5em;
    margin: 1em 0;
}
h2 {
    font-size: 1.33333em;
    margin: 1.125em 0;
}
h3 {
    font-size: 1.16667em;
    margin: 1.28571em 0;
}
h4, h5, h6 {
    font-size: 1em;
    margin: 1.5em 0;
}
p, ol, ul {
    margin: 1.5em 0;
    padding: 0;
}
li {
    display: block;
}
li:before {
    content: " ◦ ";
}
pre {
    margin-top: 1.5em;
    margin-bottom: 1.5em;
}
hr {
    border-color: black;
    border-style: solid;
    border-width: 0 0 0.05555em 0;
    margin: 2.94444em 0 1.5em 0;
}
h1 *, h2 *, h3 *, h4 *, h5 *, h6 *, li time, p *, pre * {
    line-height: 1em;
}
aside {
    font-size: 0.66667em;
    line-height: 1.5em;
}
code {
    word-break: break-all;
}
.fancy {
    font-style: italic;
}

/* Layout */
body {
    margin: 0;
    padding: 0;
}
@media screen and (max-device-width: 812px) {
    header {
        padding: 0.22222em;
    }
    div.body, footer {
        padding: 0 0.22222em;
    }
    aside {
        margin-right: -110%;
        width: 100%;
    }
}
@media screen and (min-device-width: 813px) {
    header {
        padding: 0.22222em 20%;
    }
    div.body {
        padding: 1.5em 20%;
    }
    footer {
        padding: 0 20%;
    }
    aside {
        margin-right: -33.33333%;
        width: 25%;
    }
}
aside {
    clear: right;
    float: right;
    padding: 0.5em 1.5em 0 0;
}
header {
    border-bottom: 0.05555em solid black;
}
header, header h1, header h1 a {
    color: black;
    font-size: 1em;
    line-height: 1em;
    margin: 0;
    text-align: left;
    text-decoration: none;
}
footer {
    border-top: 0.05555em solid black;
}
footer > p:first-child {
    font-size: 0.66667em;
    line-height: 2.25em;
    margin: 0;
    text-align: right;
}
footer div {
    float: left;
    margin-right: 3em;
}
footer div > p:first-child, footer div > ul {
    margin: 0;
}

pre {
    border-left: 0.11111em solid whitesmoke;
    border-right: 0.11111em solid whitesmoke;
    margin-left: -0.22222em;
    margin-right: -0.22222em;
    overflow-x: scroll;
    padding: 0 0.11111em;
}
h1.lede {
    font-weight: normal;
    text-align: left;
}

/* SERP */
form.sitesearch {
    display: flex;
    margin: 1.5em 0;
}
form.sitesearch input {
    border: 0.05555em solid black;
    box-sizing: border-box;
    display: inline-block;
    font-size: 1em;
    height: 1.5em;
    padding: 0.11111em;
}
@media screen and (max-device-width: 812px) {
    form.sitesearch input[type="text"] {
        width: 100%;
    }
    form.sitesearch input[type="submit"] {
        display: none;
    }
}
@media screen and (min-device-width: 813px) {
    form.sitesearch input[type="text"] {
        flex: 10;
        margin-right: 0.11111em;
    }
    form.sitesearch input[type="submit"] {
        background: black;
        border-radius: 0.125em;
        color: white;
        font-family: sans-serif;
        font-weight: bold;
        line-height: 0;
        margin-left: 0.11111em;
        text-transform: uppercase;
    }
    form.sitesearch input[type="submit"]:active {
        background: dimgrey;
        color: lightgrey;
    }
}
ol.sitesearch li:before {
    content: "";
    display: none;
}
ol.sitesearch li h3 {
    margin-bottom: 0;
    text-align: left;
}
ol.sitesearch li kbd {
    display: block;
    font-size: 0.66667em;
    line-height: 2.25em;
    margin: 0;
    text-decoration: none;
}
ol.sitesearch li kbd a {
    color: grey;
    text-decoration: none;
}
ol.sitesearch li p {
    margin-top: 0;
}