pre.source
{
	font-family:monospace;
	color:#000000;
	background-color:#ffffff;
	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{color:#8080FF; font:italic;}
span.reserved{color:#0000ff;}
span.comment{color:#008000;}
span.string{color:#008080;}
span.operator{color:#000080;}