.dp-highlighter
{
	font-family:"Trebuchet MS", Tahoma, Verdana;
	font-size: 12px;
	width: 500px;
	overflow:scroll;
	margin: 1px 0 20px 0 !important;
	padding-top: 1px; /* adds a little border on top when controls are hidden */
	max-height:600px;
	border-bottom: solid 1px; border-bottom-color:#e9e9e9;
}

.dp-highlighter, x:-moz-any-link {
overflow:auto;

}
.dp-highlighter, x:-moz-any-link, x:default {
overflow:auto;
}

#menu a, x:-moz-any-link {display:-moz-inline-box; padding-top:0.5em;}
#menu a, x:-moz-any-link, x:default {display:inline-block; padding-top:0;}



/* 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: 0px;
}

.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 0px 0px !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: #f9f9f9;
	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: #ffffff;
	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 3px 3px 10px;
	font-size: 9px;
	font-weight:bolder;
	color: silver;
	background-color: #e9e9e9;
	border-left: 3px solid #6CE26C;
	text-align:left;
}

.dp-highlighter.nogutter .tools
{
	border-left: 0;
}

.dp-highlighter.collapsed .tools
{
	border-bottom: 0;
}

.dp-highlighter .tools a
{
	font-size: 11px;
	color: #a0a0a0;
	background-color: inherit;
	text-decoration: none;
	margin-right: 10px; 					/*visibility:hidden;*/
}

.dp-highlighter .tools a:hover
{
	color:#333333;
	background-color: inherit;
	text-decoration: underline;
}

/* About dialog styles */

.dp-about { background-color: #fff; color: #333; margin: 0px; padding: 0px; background-image:none; }
.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; }			/*Dark green blue*/
.dp-highlighter .string { color: blue; background-color: inherit; }											/*Normal blue*/
.dp-highlighter .keyword { color: #069; font-weight: bold; background-color: inherit; } 					/*Dark blue*/
.dp-highlighter .preprocessor { color: gray; background-color: inherit; }									/*Grayed*/
.dp-highlighter .darkred { color: #c10900; background-color: inherit; }									/*Dark red*/
.dp-highlighter .green { color: #0dbe00; background-color: inherit; }									/*Green*/
.dp-highlighter .value { color: blue; background-color: inherit; }								
.dp-highlighter .keywordCSS { color: #ff00ea; background-color: inherit; }									/*pink*/