pre.stat {
	margin: 0px;
	padding: 4px;
	display: block;
	font-family: monospace;
	white-space: pre;
	background-color: black;
	border-top: 1px solid black;
	color: white;
}
pre.stat span {
	padding: 0px;
}
pre.stat .on {
	background-color: #080;
	font-weight: bold;
	color: white;
	cursor: pointer;
}
pre.stat .off {
	background-color: #888;
	font-weight: bold;
	color: white;
	cursor: pointer;
}
pre.term {
	margin: 0px;
	padding: 4px;
	display: block;
	font-family: monospace;
	white-space: pre;
	background-color: black;
	border-top: 1px solid white;
	color: #eee;
}
pre.term span.f0  { color: #000; }
pre.term span.f1  { color: #b00; }
pre.term span.f2  { color: #0b0; }
pre.term span.f3  { color: #bb0; }
pre.term span.f4  { color: #00b; }
pre.term span.f5  { color: #b0b; }
pre.term span.f6  { color: #0bb; }
pre.term span.f7  { color: #bbb; }
pre.term span.f8  { color: #666; }
pre.term span.f9  { color: #f00; }
pre.term span.f10 { color: #0f0; }
pre.term span.f11 { color: #ff0; }
pre.term span.f12 { color: #00f; }
pre.term span.f13 { color: #f0f; }
pre.term span.f14 { color: #0ff; }
pre.term span.f15 { color: #fff; }
pre.term span.b0  { background-color: #000; }
pre.term span.b1  { background-color: #b00; }
pre.term span.b2  { background-color: #0b0; }
pre.term span.b3  { background-color: #bb0; }
pre.term span.b4  { background-color: #00b; }
pre.term span.b5  { background-color: #b0b; }
pre.term span.b6  { background-color: #0bb; }
pre.term span.b7  { background-color: #bbb; }

body { background-color: #ffffff; }
#term {
    float: left;
    margin: 0px;
    padding: 4px;
    display: block;
    font-family: monospace;
    white-space: pre;
    background-color: black;
    border-top: 1px solid white;
    color: #eee;
}
