body {
    margin-left: 0;
    margin-right: 0;
    overflow-y: scroll;
    font-family: georgia, arial, serif;
}

div.central_body {
    max-width: 75em;
    margin: 0.5em auto;
    padding: 0 0.5em;
}

h3.section {
    color: #539ef6;
}

h4.section {

}

div.subsection {
    margin-left: 1em;
}

span.inline_emphasize {
    color: red;
}

span.inline_term {
    font-style: italic;
}

li.sparse {
    margin-top: 0.75em;
}