.dp-highlighter { font-family: "Consolas", "Courier New", Courier, mono; font-size: 12px; background-color: #E7E5DC; width: 550px; margin: 18px 0 18px 0; padding-top: 1px;/* adds a little border on top when controls are hidden */ overflow: auto; /* fixes for IE: "overflow: auto" causes unnecessary vertical bar */
	/* corrects bottom scroll bar overlapping */
	overflow-y: hidden;  padding-bottom: expression(this.scrollWidth > this.offsetWidth ? '15px' : 'none');
}
.dp-highlighter span { margin: 0 !important; padding: 0 !important; border: 1px transparent solid !important; background: transparent !important; _border-color: #fff; /*For IE6-*/ }
.dp-highlighter .bar { padding-left: 45px; }
.dp-highlighter.collapsed .bar, .dp-highlighter.nogutter .bar { padding-left: 0; }
.dp-highlighter ol { list-style: decimal;/* for ie */ list-style: decimal-leading-zero;/* better look for others */ background-color: #fff; margin: 0 0 1px 45px !important;/* 1px bottom margin seems to fix occasional Firefox scrolling */ padding: 0; color: #5C5C5C; white-space: nowrap; }
.dp-highlighter.nogutter ol { list-style-type: none !important; margin-left: 0; white-space: nowrap; }
.dp-highlighter ol li, .dp-highlighter .columns div { border-left: 3px solid #6CE26C !important; background-color: #f8f8f8 !important; padding-left: 10px !important; line-height: 14px !important; padding-top: 0 !important; padding-right: 0 !important; padding-bottom: 0 !important; border-top: 0 !important; border-right: 0 !important; border-bottom: 0 !important; margin: 0 !important; }
.dp-highlighter.nogutter ol li, .dp-highlighter.nogutter .columns div { border: 0 !important; padding: 0 !important; margin: 0 !important; }
.dp-highlighter .columns { color: gray; overflow: hidden; width: 100%; }
.dp-highlighter .columns div { padding-bottom: 5px; }
.dp-highlighter ol li.alt { background-color: #fff !important; padding-top: 0 !important; padding-right: 0 !important; padding-bottom: 0 !important; border-top: 0 !important; border-right: 0 !important; border-bottom: 0 !important; margin: 0 !important; }
.dp-highlighter ol li div { color: #000 !important; background-color: #f8f8f8 !important; padding: 0 !important; border: 0 !important; margin: 0 !important; }
.dp-highlighter ol li div.alt { background-color: #fff !important; padding: 0 !important; border: 0 !important; margin: 0 !important; }

/* Adjust some properties when collapsed */
.dp-highlighter.collapsed ol { margin: 0; }
.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 0 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; text-decoration: none; margin-right: 10px; }
.dp-highlighter .tools a:hover { color: #ed2024; text-decoration: underline; }

/* About dialog styles */
.dp-about { background-color: #fff; margin: 0; padding: 0; }
.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; font-weight: bold; }
.dp-about .para { margin: 0 0 4px 0; }
.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: blue; }
.dp-highlighter .keyword { color: #069; font-weight: bold; }
.dp-highlighter .preprocessor { color: gray; }