body { background: #ffffff }
h1 { text-align: center; }
h2 { background: #e0e0ff; padding: 3px; text-align: left }
pre { background: #ffffe0; padding: 2px; text-align: left }
p { text-align: left }
div.body { width: 80%; padding-left: 10%; }
div.vbar { background: #8080ff }
div.inner { margin-left: 4%; padding-left: 2%; background: #ffffff }
div.right { position: absolute; right: 10px; padding-right: 10% }
div.left { position: absolute; left: 10px; padding-left: 10% }
code { background: #ffffe0 }