pre {
    font-size: 14px;
    line-height: 18px;
}

h1, h2, h3, h4, h5, h6 {
    font-family: Noto Sans;
    font-weight: bold;
    line-height: 130%;
    color: #001153;
}
h1 {
    font-size: 24pt;
}
h2 {
    font-size: 18pt;
    margin-top: 30pt;
}

blockquote {
    border-left: #ddd solid 1px;
    margin: 15px 25px 0 15px;
    padding-left: 15px;
    overflow-x: hidden; /* prevents horizontal scroll, I don't know why */
}
blockquote > *:first-child {
    margin-top: 0;
}
blockquote > *:last-child {
    margin-bottom: 0;
}

article {
    max-width: 800px;
    margin: 0 auto;
}
#TableOfContents > ul {
    padding-left: 0;
}
#TableOfContents li {
    line-height: 150%;
    list-style: '# ';
}
main div.mainContent {
    max-width: 800px;
    margin: 0;
}
main ul {
    list-style: '– ';
}
blockquote > ul, blockquote > ol {
    padding-left: 15px;
}

h2.tags {
    font-size: 11pt;
    border-top: 1px solid #bbb;
    padding-top: 6pt;
}
ul.tags {
    font-size: 11pt;
    margin: 0;
    padding: 0;
}
ul.tags li {
    display: inline-block;
    margin-left: 1em;
}

ul.breadcrumb {
    margin: 0;
    padding: 0;
}
ul.breadcrumb li {
    margin: 0;
    padding: 0;
    list-style: none;
}

a[href] {
    text-decoration: underline solid #d0d0ff;
}
a[href]:visited {
    text-decoration: underline solid #dfbfff;
}
a[href]:hover {
    background: #fdfdd3;
}
#TableOfContents a[href] {
    text-decoration: none;
}

.homepage-footer {
    margin: 30px 0;
}

.post-footer {
    max-width: 800px;
    margin: 40px auto;
    padding: 0;
    border-top: 1px solid #bbb;
}
.inline-footer {
    border-bottom: 1px solid #bbb;
}
.post-footer > div {
    margin: 20px 0;
    padding: 0;
}
.post-footer ul {
    margin: 20px 0;
    padding: 0;
    list-style: "| ";
}
.post-footer li:first-child {
    list-style: none;
}