body { margin: 1em 1em 2em 70px;  color: black; background: white; }
tt { font: 120% courier }
h1 { text-align: center; color:#245076; font-family:Helvetica }
h2, h3, h4, h5, h6 { text-align: left; margin-top: 2em; }
h2, h3 { color: #005A9C; background: transparent }
h2 { font-size: 140% }
h3 { font-size: 100% ; margin-left: 1em; }
pre { margin-left: 2em; font: 120% courier }
td {  color: black; }

pre.yellowbox { border: solid; border-width: thin; width: 85%; background: #ffffe0; padding: 0.5em; }
div.redbox { border: solid; border-width: thin; width: 85%; background: #ffb0b0; padding: 0.5em; }
div.rightbox { float:right; width:48%; padding: 0px; }
div.leftbox { width:48%; padding: 0px; }
div.box3 { float:right; width:32%; padding: 0px; }
div.box2 { float:right; width:32%; padding: 0px; }
div.box1 { width:32%; padding: 0px; }