.dp-highlighter {
	overflow: auto;
	margin: 1em 0px 1em 0px;
	background-color: #fff;
}

.dp-highlighter table {
	border: 2px solid #eee;
}

.dp-highlighter tbody.hide { display: none; }
.dp-highlighter tbody.show { display: table-row-group; _display: block; }

.dp-highlighter td {
	font-family: Courier New;
	font-size: 8pt;
}

.dp-highlighter .tools {
	background-color: #eee;
	padding: 2px 8px 3px 6px;
	border-bottom: 1px solid gray;
	font: 9px Verdana, Geneva, Arial, Helvetica, sans-serif;
	color: silver;
}

.dp-highlighter .tools-corner {
	background-color: #eee;
}

.dp-highlighter .tools a {
	font-size: 8pt;
	color: gray;
	text-decoration: none;
}

.dp-highlighter .tools a:hover {
	color: blue;
	text-decoration: underline;
}

.dp-highlighter .gutter {
	padding-left: 3px; 
	padding-right: 5px; 
	width: 5px;
	background-color: #eee; 
	border-right: 1px solid gray; 
	color: gray;
	text-align: right;
	vertical-align: top;
}

.dp-highlighter .line1, .line2 {
	padding-left: 6px;
	white-space: nowrap;
	line-height: 140% !important;
}

.dp-highlighter .line2 {
	
}

.dp-title {
	font-weight: bold;
	color: gray;
	font-size: 8pt;
}

/* Language specific styles */

.dp-pnuts {}
.dp-pnuts .comment { color: #007F00; }
.dp-pnuts .string { color: #007F7F; background-color: #F0F0F0; }
.dp-pnuts .keyword { color: #000080; font-weight:bold; }

.pnuts, .java, .example, .other {
	padding: 3px 0px 3px 20px;
	margin: 1.25em 0px 1.25em 0px;
	border: 1px solid #888888;
	border-width: 1px 0px 1px 0px;
	font-family: Courier New;
	font-size: 8pt;
}