div.codebox {
	direction: ltr;
	margin: 0 5px 10px 5px;
	border-color: #000000;
	border-width: 0 1px 1px 1px;
	border-style: solid; 
	font-weight: normal;
	color: #000000;
	font-size: 1.0em;
	font-family: Arial, Monaco, 'Courier New';
	background-color: #c9c9c9;
}

div.codeholder {
	margin: 0;
	overflow: auto;
	max-height: 300px;
}

div.codeheader {
	padding: 2px 4px;
	border-width: 1px 0px 1px 0px;
	border-style: solid;
	border-color: #000000;
	color: #CCCCCC;
	background-color: #151515;
	font-family: "Lucida Grande", Verdana, Helvetica, Arial, sans-serif;
	font-size: 0.9em;
}

div.codebox div ol {
	list-style-position: outside;
	margin-top: 0;
	margin-bottom: 0;
	padding: 0;
}

.li1 {
	font-family: monospace;
	padding: 0 5px;
	background-color: #CCCCCC;
	line-height: 16px;
	border-bottom: 1px solid #c9c9c9;
	border-left: 1px solid #c9c9c9;
}

.li2 {
	font-family: monospace;
	padding: 0 5px;
	background-color: #CCCCCC;
	line-height: 16px;
	border-bottom: 1px solid #c9c9c9;
	border-left: 1px solid #c9c9c9;
}