.dp-highlighter

{

	font-family: "Consolas", "Courier New", Courier, mono, serif;

	font-size: 12px;

	background-color: #E7E5DC;

	width: 99%;

	overflow: auto;

	margin: 18px 0 18px 0 !important;

	padding-top: 1px; /* adds a little border on top when controls are hidden */

}



/* clear styles */

.dp-highlighter ol,

.dp-highlighter ol li,

.dp-highlighter ol li span 

{

	margin: 0;

	padding: 0;

	border: none;

}



.dp-highlighter a,

.dp-highlighter a:hover

{

	background: none;

	border: none;

	padding: 0;

	margin: 0;

}



.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 */

	background-color: #fff;

	margin: 0px 0px 1px 45px !important; /* 1px bottom margin seems to fix occasional Firefox scrolling */

	padding: 0px;

	color: #5C5C5C;

}



.dp-highlighter.nogutter ol,

.dp-highlighter.nogutter ol li

{

	list-style: none !important;

	margin-left: 0px !important;

}



.dp-highlighter ol li,

.dp-highlighter .columns div

{

	list-style: decimal-leading-zero; /* better look for others, override cascade from OL */

	list-style-position: outside !important;

	border-left: 3px solid #6CE26C;

	background-color: #F8F8F8;

	color: #5C5C5C;

	padding: 0 3px 0 10px !important;

	margin: 0 !important;

	line-height: 14px;

}



.dp-highlighter.nogutter ol li,

.dp-highlighter.nogutter .columns div

{

	border: 0;

}



.dp-highlighter .columns

{

	background-color: #F8F8F8;

	color: gray;

	overflow: hidden;

	width: 100%;

}



.dp-highlighter .columns div

{

	padding-bottom: 5px;

}



.dp-highlighter ol li.alt

{

	background-color: #FFF;

	color: inherit;

}



.dp-highlighter ol li span

{

	color: black;

	background-color: inherit;

}



/* 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: silver;

	background-color: #f8f8f8;

	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: 9px;

	color: #a0a0a0;

	background-color: inherit;

	text-decoration: none;

	margin-right: 10px;

}



.dp-highlighter .tools a:hover

{

	color: red;

	background-color: inherit;

	text-decoration: underline;

}



/* About dialog styles */



.dp-about { background-color: #fff; color: #333; 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: red; background-color: inherit; font-weight: bold; }

.dp-about .para { margin: 0 0 4px 0; }

.dp-about .footer { background-color: #ECEADB; color: #333; 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; color: #333; width: 60px; height: 22px; }



/* Language specific styles */



.dp-highlighter .comment, .dp-highlighter .comments { color: #008200; background-color: inherit; }

.dp-highlighter .string { color: blue; background-color: inherit; }

.dp-highlighter .keyword { color: #069; font-weight: bold; background-color: inherit; }

.dp-highlighter .preprocessor { color: gray; background-color: inherit; }