body {background: #ccffcc; margin: 0}

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

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

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

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

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

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

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

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

ul.plain {list-style: plain}

dt {font-weight: bold}