body { background-color: #e8f8f8; color: #000000 }
.oddcell { background-color: #c8f0f0 }
.tsel1 { background-color: #c0d8d8 }
.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: #e0f0f0; }
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 {
	border-width: 1px;
	border-style: inset;
	margin-left: 0.2in;
	color: black;
	background-color: #e0f0f0;
	width: 88ex;
	padding: 3px;
}
pre.widetty {
	border-width: 1px;
	border-style: inset;
	margin-left: 0.2in;
	color: black;
	background-color: #e0f0f0;
	width: 128ex;
	padding: 3px;
}
pre.widetty span.prompt { color: #602020; }
pre.widetty span.typed { color: #0000c0; }
pre.widetty span.output { color: #101010; }
pre.widetty span.comment { color: #606060; }
pre.widetty span.keyed { color: #000030; background-color: #ffff00; }

tr.deprecated { color: #808080; }