body {
    background: white;
    font-family: sans, helvetica; 
}

h1 { text-align: center; margin: 1em 1em 1em 1em; padding: 1ex 1ex 1ex 1ex; background:#eee; border-bottom: 4px solid #ddd;}
h2 { margin-left: 1em; margin-top: 2em; }
h3 { margin-left: 2.5em; margin-top: 1.5em; }

p { text-align: justify; margin-left: 4em; margin-right: 10em; }
ul { margin-left: 5em; margin-right: 11em; }

.op { color:#22a; }
.num { color:#383; }
.bool { color:#1ee; }
.var { color:#f22; font-weight:bold;  }
.func { color:#582; }
.key { color:#922; font-weight:bold; }
.lbl { color:#555; font-style: italic; }
.pt { color:#882; background-color:#ffb; }

.error { margin: 1em 10em 1em 7em;  color:red; font-weight:bold; background-color:#fdd; }
.errlog { margin: 1em 10em 1em 7em; padding-left: 1em; border-left: 2px solid red; font-family: monospace; }
.oklog { margin: 1em 10em 1em 7em; padding-left: 1em; border-left: 2px solid green; font-family: monospace; }

.log { margin: 1em 10em 1em 7em; font-family: monospace; color:#842; padding-left: 1em; border-left: 1px solid blue; }

.ptinv { margin: 3ex 0 0 4em; color:darkblue; font-size:110%; }
.ptinv2 { margin: 1ex 0 0 5em; color:#555; font-size:105%; }
.inv { margin: 0 0 0 6em; font-size: 100%; }
.graph { margin: 1ex 0 1em 6em; }

.menu { border: 1px solid red; background: #fee; padding: 1ex; font-size: 80%; position: fixed; top: 1em; right: 1em; }