p.w32dsm
{
	white-space: pre;
	font-family: "Courier New", Courier, mono;
	font-size: small;
	background: #BBBBBB;
}
span.w32off
{
	color: #880000;
}
span.w32ref
{
	color: blue;
}
span.w32com
{
	color: green;
}
span.w32op
{
	color: #555555;
}