body { background-color: #ffffff; color: #000000; }
h2 {
	width: 95%;
	margin-left: 2px;
	border-bottom: 2px solid #808080;
	padding: 2px;
	padding-top: 8px;
	color: #606070;
}
h3 {
	width: 90%;
	margin-left: 8px;
	border-bottom: 1px solid #a0a0a0;
	padding: 2px;
	padding-top: 8px;
	color: #707080;
}

img.screenshot { border: 2px solid black; padding: 0px; margin: 4px; }
.oddcell { border: none; background-color: #f3f3fa; }
.oddcell2 { border: none; background-color: #f0f0f8; }
.prompt { color: #302020; }
.typed { color: #0000c0; }
.output { color: #001000; }
.commented { color: #606060; }
.typedoption { color: #0000c0; background-color: #d0d2d0; }
a:link[href] { color: #103070; }
a:active[href] { color: #c02020; }
a:visited[href] { color: #101830; }
a:hover[href] { background-color: #f0f0ff; color: #000000; }
pre.code { background-color: #f2f2ff; color: black; font-size: smaller; }
pre.fwid { width: 100ex; }
pre.xwid { width: 90%; }
pre.tty { background-color: #f0f2f0; }
td.tty { background-color: black; }
img.floatleft { float: left; }
.clearfloat { clear: both; }
.floatleft { float: left; margin-right: 8px; }
.floatright { float: right; margin-left: 8px; }
.indented { margin-left: 8px; }
a:hover[href].headlink { background-color: #e0e0ef; color: #000000; }
.footer { font-size: smaller; }