body {
    font-family: "Lato", sans-serif;
    line-height: 1.25;
    color: #23373b;
    background-color: #fafafa;
    padding: 0;
    margin: 0;
}

header, footer {
    background-color: #23373b;
    color: #fafafa;
    text-align: center;
    line-height: 120%;
    padding: 1em 0;
}

header a, footer a {
    color: #fafafa;
}

main {
    margin: 0 auto;
    padding: 1em;
    min-width: 20em;
    max-width: 50em;
}

a:link, a:visited {
    text-decoration: none;
}

a:active, a:hover {
    text-decoration: underline;
}

ul.nav {
    list-style-type: none;
    padding: 0;
    margin: 0;
}

ul.nav li {
    margin: 0.5em 0;
}

p {
    font-family: "Crimson Pro", serif;
    font-size: 120%;
    text-align: justify;
    hyphens: auto;
}

.content h1 {
    font-size: 180%;
    margin-top: 1em;
    margin-bottom: 0.5em;
}

.content h2 {
    font-size: 150%;
    margin-top: 1em;
    margin-bottom: 0.5em;
}

.content h3 {
    font-size: 120%;
    margin-top: 1em;
    margin-bottom: 0.5em;
}

h1.title {
    text-align: center;
}

h2.subtitle {
    text-align: center;
}

h3.author, h3.date {
    text-align: center;
    font-weight: normal;
}

li {
    text-align: justify;
    font-family: "Crimson Pro", serif;
    font-size: 120%;
    hyphens: auto;
}

div.content:after {
    display: block;
    content: "❦";
    text-align: center;
    padding: 2em 0 4em 0;
}

.tt, code {
    font-family: "Inconsolata", monospace;
}

pre, pre>code {
    color: #fafafa;
    background-color: #23373b;
}

pre {
    padding: 1em;
    border-radius: 0.5em;
    overflow-x: auto;
}

pre>code {
    padding: 0;
}

blockquote {
    font-style: italic;
}

blockquote em {
    font-style: normal;
}

hr {
    width: 5em;
}