﻿.dp-highlighter {
	font-family: "Consolas", "Courier New", Courier, mono, serif;
	font-size: 12px !important;
	background-color: #FFF;
	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;
	color: #a0a0a0 !important;
}
.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;
	font-size: 12px !important;
}
.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;
}
