body {
    max-width: 40em;
    // margin: 0 auto;
    /* font-size: 18pt; */
    color: #444;
    padding: 0 2em 2em 2em;
    // font-family: monospace;
    // font-family: Georgia, serif;
}
.banner {
    margin: 12px 0px;
    color: #777;
    // font-family: monospace;
    // font-size: 200%;
}
.banner h1 {
    padding: 0;
    font-weight: normal;
}
.banner p  { margin-top: 4px; }
.banner a {
    color: #777;
    text-decoration: none;
}
.banner .subhead { font-size: 70%; }
.title {
    font-size: 100%;
    font-weight: normal;
    // font-size: 150%;
    // margin-top: 110px;
    // margin-bottom: 4px;
}
.subtitle { margin: 0; }
.tags {
    border-top: 1px solid #ddd;
}
pre {
    background-color: #fafafa;
    padding: 8px;
    overflow: auto;
}
.figure {
    /* padding: 8px;*/
}
.figure p {
    /* font-family: sans-serif; */
    font-weight: normal;
    font-size: 80%;
    /* text-align: center */
}
.figure img {
    border: solid 1px #ddd;
    // width: 100% ! important;
}
h2.footnotes {
    font-size: 100%;
    font-weight: normal;
}
.footdef sup {
    float: left;
    margin-right: 8px;
    vertical-align: bottom;
}
code {
    background-color: #f0f0f0;
    padding: 2px 4px;
    // font-size: 125%;
}

#content a {
    color: #c25 ! important;
    // color: darkred;
    text-decoration: none;
}
#content sup {
    vertical-align: bottom;
    font-size: 100%;
}
#content a.tag {
    /* color: darkred ! important; */
    text-decoration: none;
    color: #c25 ! important;
    background-color: #f7f7f9;
    padding: 0px 6px;
    border: 1px solid #e1e1e8;
    border-radius: 6px;
    margin-right: 10px;
}
#content p { line-height: 1.5em; }
dl {
    line-height: 1.5em;
    white-space: nowrap;
}
dt {
    display: inline;
    float: left;
    width: 10em;
    text-align: right;
    margin-right: 1em;
}