div.code {
	margin: 0;
	padding: 0;
	border: 1px solid #888;
	background-color: #EEE;
	margin: 0;
}

div.code .head 
{
	margin: 0;
	padding: 0;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: bold;
	background-color: #CCC;
	border-bottom: 1px solid #888;
	padding-left: 2px;
}

div.code ol {
	margin: 0;
	padding: 10px;
	margin-left: 0;
	padding-left: 30px;
}
div.code li  {
	font: normal normal 10px 'Courier New', Courier, monospace;
	color: #000000;
	text-align: left;
}

div.code .foot {
	display: none;
}

div.code .de1 {color: #000000;}
div.code .imp {color: #a31515;}
div.code .kw1 {color: #0000ff;}
div.code .kw2 {color: #0000ff;}
div.code .kw3 {color: #0000ff;}
div.code .kw4 {color: #0000ff;}
div.code .co1 {color: #008000; font-style: italic;}
div.code .es0 {color: #0000ff;}
div.code .br0 {color: #000000;}
div.code .st0 {color: #a31515;}
div.code .nu0 {color: #000000;}
div.code .me1 {color: #008000;}
div.code .me2 {color: #008000;}
div.code .re0 {color: #0000ff;}