div.code {
	padding: 5px;
	width: 98%;
	background-color: #CCCCCC;
	overflow: auto;
}
div.code pre {
	margin: 0;
	padding: 0;
	font-size: 10px;
	color: #990000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
div.DOScode {
	padding: 5px;
	width: 98%;
	background-color: #000000;
	overflow: auto;
}
div.DOScode pre {
	margin: 0;
	padding: 0;
	font-size: 12px;
	font-weight: bold;
	color: #CCCCCC;
	font-family: "Courier New", Courier, mono;
}