html     { background-color: #DEF; color: #000; max-width: 50em; margin: auto; }
body     { padding-left: 1.5rem; margin-bottom: 3em; }
h1       { text-align: center; margin: 2em 0 1em -1.5rem; }
h2,h3    { margin: 2em 0 0.5em -1.5rem; color: #666; }
h4       { margin: 1em 0 0.5em 0; }
img      { border: none; }
ul       { margin: 0.6em 0 0.6em 0; padding-left: 3rem; }
li       { margin: 0.3em 0 0.3em 0; }
a        { color: blue; }
p        { margin: 0.6em 0 0.6em 0; }
hr       { border: none; height: 1px; background-color: #999; color: #999; margin: 3em auto; }
.center  { text-align: center; margin-left: auto; margin-right: auto; }
.nowrap  { white-space: nowrap; }
.itcorr  { margin-right: 0.1em; }
pre      { font-size: inherit; font-family: inherit; margin: 0.6em 0; }
code     { font-family: inherit; display: inline; background-color: #FFC; border: 1px solid #FF0; border-radius: 0.3em; padding: 0 0.1em; }
pre code { display: block;  border: 1px solid #999;  border-radius: 0.5em; padding: 0.5em; white-space: pre; margin: 0.6em 0; }
samp     { font-weight: bold; font-size: inherit; font-family: monospace, monospace; }
kbd      { font-family: inherit; font-size: 70%; color: #000; vertical-align: middle;
           background-color: #FFF; border: 1px solid #999; border-radius: 0.2em; padding: 0 0.3em; }
var      { font-family: inherit; font-style: italic; }
.redbd   { border-color: #F00; border-width: 2px; }
.grnbd   { border-color: #0F0; border-width: 2px; }