body {
    background-color: #858d8f;
    margin: 0;
}

#body {
    margin: auto;
    margin-top: 0;
    margin-bottom: 0;
    font-family: serif;
    padding: 1em;
    max-width: 40em;
    border-left: 1px solid #707070;
    border-right: 1px solid #707070;
    border-bottom: 1px solid #707070;
    background-color: #d0c9c2;
}

div#footer {
    text-align: center;
    margin-top: 2em;
    padding-top: 1em;
    border-top: 3px double #707070;
}

p {
    text-align: justify;
    text-justify: newspaper;

    line-height: 1.5em;

    font-variant-ligatures: common-ligatures;
}

pre {
    border: 1px dotted #707070;
    background-color: #bfbfbf;
    padding: 0.5em;
    overflow: auto;
}

code {
    font-family: monospace;
    font-size: 90%;
}

code.url {
    font-family: sans-serif;
    font-size: 100%;
}

a {
    color: #2c261e;
}

a.footnoteRef {
    font-size: 30%;
}

h1, h2, h3, h4, h5 {
    font-family: sans-serif;
    font-variant: small-caps;
    font-weight: bold;
    border-bottom: 1px solid #707070;
}

h1 {
    font-size: 140%;
    border-bottom-width: 3px;
    border-bottom-style: double;
    margin-bottom: 1.5em;
}

.blog h1 {
    margin-bottom: 0;
}

h2 {
    font-size: 120%;
}

h3 {
    font-size: 110%;
}

h4 {
}

.blog span.date {
    font-weight: bold;
    font-size: 90%;
    margin-bottom: 1.5em;
}

table {
    background-color: #bfbfbf;
    border: 1px solid #707070;
    border-collapse: collapse;
}

table caption {
    line-height: 2.5em;
}

table th {
    border-top: 1px dashed #707070;
    border-bottom: 1px solid #707070;
    border-left: 1px solid #707070;
    border-right: 1px solid #707070;
    padding: 0.5em;
}

table td {
    border: 1px dashed #707070;
    border-left: 1px solid #707070;
    border-right: 1px solid #707070;
    padding: 0.5em;
}

dl dt {
    font-weight: bold;
    line-height: 1em;
    margin-top: 0.5em;
}

ul {
    padding-left: 0;
    list-style-type: none;
}

li {
    margin-left: 0;
    margin-top: 0.5em;
}

li:before {
    content: '• ';
}

li li {
    margin-top: 0.2em;
    padding-left: 1em;
}

li li:before {
    content: '– ';
}

hr {
    margin-top: 2em;
    margin-bottom: 1em;
    width: 60%;
    height: 3px;
    color: #707070;
}

.footnotes p {
    margin-top: 0;
    margin-bottom: 0;
    text-indent: 0;
    font-size: 100%;
}

table.posts, table.posts th, table.posts td {
    border-width: 0;
    background-color: #d0c9c2;
}

table.posts th {
    padding-top: 1.5em;
    background-color: green;
    text-align: left;
    font-weight: bold;
}

table.posts td {
    vertical-align: top;
}

table.posts td:first-child {
    width: 160px;
    text-align: center;
    vertical-align: top;
}

pre.sourceCode {
    background-color: #252520;
    color: #999999;
    border: 1px solid #707070;
    padding-left: 5px;
}

pre.sourceCode .kw {
    color: #c9a032;
}

pre.sourceCode .st {
    color: #e2763e;
}

pre.sourceCode .co {
    color: #585858;
}

pre.sourceCode .dt {
    color: #76a535;
}

pre.sourceCode .ot {
    color: #b060d0;
}