td#main { padding-bottom: 2em; }
#main h1 { text-align: center; margin-top: 1em; color: #5F6987; }
#main h2 { margin-top: 2em; }
#main pre { background-color: #ffffcc; color: black; margin: 0.5em 2em; padding: 0.5em; }
#main pre b { color: #cc0000; }
#main code { color: #009900; font-weight: bold; white-space: nowrap; }
#main li { margin: 0.5em 0; }
#main dt { margin-left: 1em; }
#main img { border: thin solid black; vertical-align: top; margin-bottom: 0.5em; }
#main .blue { color: #0000ff; }
#main .red  { color: #cc0000; }
#main .nobr { white-space: nowrap; }
#main .imag { display: inline-block; margin: 1em 2em 0.5em 2em; }