<style type="text/css">
body {
	color: #000000;
	background: #eeeecc;
}
a:link    { color: #206000; }
a:visited { color: #206000; }
a:active  { color: #40a000; }

h1,h2,h3,h4 {
	font-weight: bold;
}

h1 {
	border-bottom: 1px dotted black;
}

p,td,th,li,dt,dd {
	font: sans-serif, Verdana, "Bitstream Vera Sans", Tahoma;
}

td,tr {
	background: inherit;
	font-family: inherit;
}

th {
	background: #ccb;
	border: 1px solid #aaa;
}

table.info {
	background: #ddc;
	border: 1px solid #aaa;
//#	font-family: monospace;
}

a:hover {
	text-decoration: underline;
}

pre {
	background: #d0d0f0;
	border-top: 1px dotted #909090;
	border-left: 1px dotted #909090;
	border-right: 2px solid #606060;
	border-bottom: 2px solid #606060;
	padding: 4px;
	margin: 3px 3px;
}
pre.output {
	background: #f0d0d0;
}
pre.info {
	background: #f0d0f0;
}

table.status {
        background: #d0f0d0;
        border-top: 1px solid #909090;
        border-left: 1px solid #909090;
        border-right: 2px solid #606060;
        border-bottom: 2px solid #606060;
	padding: 0.2em;
}

//#pre:hover { background: white; cursor: text; }
</style>
