body {background: #ccffff; margin: 0}

pre {background: #ccffcc; margin-left:2%; margin-right:2%; font: 8pt}

.framet {background: url(framet.gif); background-repeat:repeat-x; color:#00ffff}
.frametr {background: url(frametr.gif); background-repeat:none; color:#00ffff}
.frametl {background: url(frametl.gif); background-repeat:none; color:#cccc00}

.frameb {background: url(frameb.gif); background-repeat:repeat-x; color:#00cccc}
.framebr {background: url(framebr.gif); background-repeat:none; color:#00cccc}
.framebl {background: url(framebl.gif); background-repeat:none; color:#00cccc}

.framel {background: url(framel.gif); background-repeat:repeat-y; color:#00cccc}
.framer {background: url(framer.gif); background-repeat:repeat-y; color:#00ffff}

.framehm {background: url(framehm.gif); background-repeat:repeat-x; color:#009999}
.framelm {background: url(framelm.gif); background-repeat:none; color:#00cccc}
.framerm {background: url(framerm.gif); background-repeat:none; color:#00cccc}

.framevm {background: url(framevm.gif); background-repeat:repeat-y; color:#00ffff}
.frametm {background: url(frametm.gif); background-repeat:none; color:#00cccc}
.framebm {background: url(framebm.gif); background-repeat:none; color:#00cccc}

.tutorial {font: 12pt "palatino linotype", garamond, "times new roman", serif}
.topbox {font: 8pt; background: #ccffff; color: #ccffff}

.warning { background: #333333; color: #ff3333;  margin-left:2%; margin-right:2%;}

.hazard {background: url(hazardrule.jpg); background-repeat:repeat-x; color:#009999}

ul.plain {list-style: plain}

dt {font-weight: bold}