.dp-highlighter
{
	font-family: Consolas, "Courier New", Courier, mono;
	font-size: 15px;
	background-color: #E7E5DC;
	width: 99%;
	overflow: auto;
	margin: 18px 0px;
	padding-top: 1px;
/*adds a little border on top when controls are hidden*/
}
.dp-highlighter .bar
{
	padding-left: 45px;
}
.dp-highlighter.collapsed .bar, .dp-highlighter.nogutter .bar
{
	padding-left: 0px;
}
.dp-highlighter OL
{
	list-style: decimal;
/*for ie*/
	list-style: decimal-leading-zero;
/*better look for others*/
	background-color: #FFF;
	margin: 0px 0px 1px 45px;
/*1px bottom margin seems to fix occasional Firefox scrolling*/
	padding: 0px;
	color: #5C5C5C;
}
.dp-highlighter.nogutter OL
{
	list-style-type: none !important;
	margin-left: 0px;
}
.dp-highlighter OL LI, .dp-highlighter .columns DIV
{
	border-left: 3px solid #6CE26C;
	background-color: #F8F8F8;
	padding-left: 10px;
	line-height: 14px;
}
.dp-highlighter.nogutter OL LI, .dp-highlighter.nogutter .columns DIV
{
	border: 0;
}
.dp-highlighter .columns
{
	color: #808080;
	overflow: hidden;
	width: 100%;
}
.dp-highlighter .columns DIV
{
	padding-bottom: 5px;
}
.dp-highlighter OL LI.alt
{
	background-color: #FFF;
}
.dp-highlighter OL LI SPAN
{
	color: #000000;
}
/*Adjust some properties when collapsed*/
.dp-highlighter.collapsed OL
{
	margin: 0px;
}
.dp-highlighter.collapsed OL LI
{
	display: none;
}
/*Additional modifications when in print-view*/
.dp-highlighter.printing
{
	border: none;
}
.dp-highlighter.printing .tools
{
	display: none !important;
}
.dp-highlighter.printing LI
{
	display: list-item !important;
}
/*Styles for the tools*/
.dp-highlighter .tools
{
	padding: 3px 8px 3px 10px;
	font: 9px Verdana, Geneva, Arial, Helvetica, sans-serif;
	color: #C0C0C0;
	background-color: #F8F8F8;
	text-align: right;
	padding-bottom: 10px;
	border-left: 3px solid #6CE26C;
}
.dp-highlighter.nogutter .tools
{
	border-left: 0;
}
.dp-highlighter.collapsed .tools
{
	border-bottom: 0;
}
.dp-highlighter .tools A
{
	font-size: 12px;
	color: #76502B;
	text-decoration: none;
	margin-right: 10px;
}
.dp-highlighter .tools A:hover
{
	color: #FF0000;
	text-decoration: underline;
}
/*About dialog styles*/
.dp-about
{
	background-color: #FFF;
	margin: 0px;
	padding: 0px;
}
.dp-about TABLE
{
	width: 100%;
	height: 100%;
	font-size: 11px;
	font-family: Tahoma, Verdana, Arial, sans-serif !important;
}
.dp-about TD
{
	padding: 10px;
	vertical-align: top;
}
.dp-about .copy
{
	border-bottom: 1px solid #ACA899;
	height: 95%;
}
.dp-about .title
{
	color: #FF0000;
	font-weight: bold;
}
.dp-about .para
{
	margin: 0 0 4px;
}
.dp-about .footer
{
	background-color: #ECEADB;
	border-top: 1px solid #FFF;
	text-align: right;
}
.dp-about .close
{
	font-size: 11px;
	font-family: Tahoma, Verdana, Arial, sans-serif !important;
	background-color: #ECEADB;
	width: 60px;
	height: 22px;
}
/*Language specific styles*/
.dp-highlighter .comment, .dp-highlighter .comments
{
	color: #008200;
}
.dp-highlighter .string
{
	color: #0000FF;
}
.dp-highlighter .keyword
{
	color: #069;
	font-weight: bold;
}
.dp-highlighter .preprocessor
{
	color: #808080;
}