html
{
    font-family: DejaVu Sans, sans-serif;
    font-size: 12pt;
}

body
{
    background-color: whitesmoke;
    border-left: lightgrey 1pt dotted;
    border-right: lightgrey 1pt dotted;
    max-width: 550pt;
    margin-left: auto;
    margin-right: auto;
    padding-left: 4rem;
    padding-right: 4rem;
}

p, li
{
    line-height: 140%;
}

em
{
    font-style: normal;
    font-weight: bold;
}

hr
{
    border-left: none;
    border-top: none;
    border-right: none;
    border-bottom: lightgrey 1pt dotted;
}

h1
{
    border-bottom: grey 1pt solid;
}

h2
{
    border-bottom: grey 1pt dashed;
}

h3
{
    border-bottom: grey 1pt dotted;
}

img
{
    max-width: 60%;
}

pre
{
    font-size: 10pt;
    line-height: normal;

    margin-top: 1em;
    margin-bottom: 1em;
    padding: 1em;
    border: grey 1pt solid;
    background-color: #EBEBEB;
    overflow: auto;
}

p > code, li > code
{
    background-color: #EBEBEB;
    padding-left: 0.2em;
    padding-right: 0.2em;
}

#toc li
{
    list-style-position: inside;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}