body {
    font-family: "Georgia", serif;
    margin: 3em;
    line-height: 1.5;
    max-width:800px;
}

.subtitle {
    font-size: 0.5em;
    display:block
}

pre {
    background-color: #e8e8e8;
    overflow: auto;
    padding: 10px;
    line-height: 1.25;
}

code {
    background-color: #e8e8e8;
}

a:link {
    text-decoration: none;
    color: #005b9e;
}

a:visited {
    text-decoration: none;
    color: #005b9e;
}

a:hover {
    text-decoration: underline;
}

a:active {
    text-decoration: underline;
}

img {
    border: 1px dashed lightgray;
}

hr {
    border: 1px dotted black;
    margin-bottom: 2em;
}

#table-of-contents {
    position: fixed;
    right: 1.5em;
    top: 1.25em;
    max-height: 100%;
    width: 20em;
    overflow: auto;
}

@media only screen and (max-width: calc(800px + 24em)) {
    #table-of-contents {
        display: none;
    }
}

ul {
    list-style-type: "▹  ";
    margin-top: 0;
    padding-left: 2em;
    padding-bottom: 0.25em;
}