pre.source, pre.xsource
{
	font-family: 'Consolas',monospace;
	color:#000000;
	background-color:#ffffff;
	border:thin solid #9999ff;
	padding:0.2em 0.2em 0.2em 0.2em;
	margin:1em 3em 1em 3em;
	overflow:scroll;
	width: 100%;
}
span.input{color:#FF8030;font-weight:bold;}
span.reserved{color:#0000ff;}
span.comment{color:#008000;}
span.string{color:#A31515;}
span.literal{color:#A52A2A;}
span.operator{color:#000080;}
span.type{color:#2B91AF;}
span.inactive{color:#808080;}

span.element{color:#a51410;}
span.attribute{color:#ff0000;}
span.attvalue{color:#0000ff;}
span.bracket{color:#0000ff;}

pre.source em, pre.xsource em
{
  font-weight: bold;
}

pre.console
{
	font-family: 'Consolas',monospace;
	color:#ffffff;
	background-color:#606060;
	border:thin solid #9999ff;
	padding:0.2em 0.2em 0.2em 0.2em;
	margin:1em 3em 1em 3em;
	overflow:scroll;
	width: 100%;
}

span.prompt
{
	color:#60ff60
}

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

pre.console em
{
	color:#ffffff;
	background-color:#606060;
	border-bottom:1pt solid #FF8080;
}
pre.console span.input{color:#FF8030;font-weight:bold;}