pre.console
{
	font-family:monospace;
	color:#C0C0C0;
	background-color:#000000;
	border:thin solid #9999ff;
	padding:0.2em 0.2em 0.2em 0.2em;
	margin:0.2em 1.5em 1em 1.5em;
	position:relative;
	overflow:scroll;
}
span.input
{
	font:italic;
	color:#8080FF;
}

span.prompt
{
	color:#40D040
}

span.floatcomment
{
	float:right;
	color:#FFA0A0;
	position:absolute;
	left:25em;
}

pre.console em
{
	color:#C0C0C0;
	background-color:#000000;
	border-bottom:1pt solid #FF8080;
}