body {
    margin-left: 20px;
    margin-right: 20px;
}

header, main H1, main H2, main H3, main H4, main H5, main H6, main TH {
    color: #069;
    padding-top: 10px; padding-bottom: 10px;
}

table {
    margin-left: 20px; margin-right: 20px;
    margin-bottom: 20px;
}

.page-footer {
    font-size: small;
}

code, .code {
    font-weight: bolder;
}

.math {
    color:     blue;
    font-family:    monospace;
}

figcaption {
    font-weight: bolder;
    font-style: italic;
}

.infobox {
    padding: 15px 15px 5px 15px;
    border-radius: 0px 25px 25px 25px;
    border: 1px #837870 solid;
}

.indent {
    padding-top: 15px;
    padding-left: 25px;
    display: block;
}

hr {
    border-top: 1px #837870 solid;
}

.pink {
    border: 1px #837870 solid;
}

.keyword { color: #096; font-weight: bold; }

em.color { color: #096; }