body { background-color: #ffffff; color: #000000 }
.oddcell, .cleanoddcell { background-color: #c8f0e0; width: 100% }
.tsel1 { background-color: #cee9ff; border: solid 1px; }
.tsel2 { background-color: #d0f0f0 }
a[href]:link { color: #101080 }
a[href]:active { color: #c02020 }
a[href]:visited { color: #106070 }
a[href]:hover { background-color: #d8f8f8; color: #300000 }
pre.code { color: white; font-size: smaller }
td.tty { background-color: black; }

img { background-color: #e8f8f8; }
pre.source {
	color: black;
	font-size: smaller;
	background-color: #f2f5ff;
	border-style: inset;
	border-width: 1px;
	width: 100ex;
	padding-top: 12pt;
	padding-bottom: 12pt;
}
pre.source span.keyword { color: #004000; }
pre.source span.var { color: #400040; }
pre.source span.comment { color: #000060; }
pre.source span.class { color: #004040; }
pre.source span.chan { color: #004040; }
pre.source span.const { color: #600000; }
pre.source span.preproc { color: #726d22; }
pre.source span.icomment { color: #000060; font-style: italic; }

pre.tty { color: black; font-size: smaller; background-color: #e0f0f0; width: 80ex; }
pre.tty span.prompt { color: #302020; }
pre.tty span.typed { color: #0000c0; }
pre.tty span.output { color: #301010; }
pre.tty span.comment { color: #606060; }

pre.widetty { color: black; font-size: smaller; background-color: #e0f0f0; width: 128ex; }
pre.widetty span.prompt { color: #302020; }
pre.widetty span.typed { color: #0000c0; }
pre.widetty span.output { color: #301010; }
pre.widetty span.comment { color: #606060; }