﻿/* http://code.google.com/p/syntaxhighlighter/ */
/* Colors
	green: #6ce26c
	orange: #ff9933
	orange-pink: #ff5e34
	yellow: #fff310
*/
.dp-highlighter 							{ font-family: "Monaco", "Bitstream Vera Sans Mono", "Lucida Console", "Consolas", "Courier New", Courier, mono, serif; font-size: 87%; background-color: #000; width: 99%; overflow: auto; margin: 18px 0 18px 0; padding-top: 1px; /* adds a little border on top when controls are hidden */  border: 2px solid #666; }

/* 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: #000; margin: 0px 0px 1px 45px; /* 1px bottom margin seems to fix occasional Firefox scrolling */ padding: 0; color: #fff; }
.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; /* better look for others, override cascade from OL */ list-style-position: outside !important; border-left: 2px solid #333; background-color: #000; color: #fff; padding: 1px 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: #000; color: inherit; }
.dp-highlighter ol li span				 	{ color: #fff; 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; text-align: right; font: 83% Verdana, Geneva, Arial, Helvetica, sans-serif; color: silver; background-color: #000; border-left: 2px solid #333; border-bottom: 1px solid #333; }
.dp-highlighter.nogutter .tools 			{ border-left: 0; }
.dp-highlighter.collapsed .tools 			{ border-bottom: 0; }
.dp-highlighter .tools a 					{ outline: none; font-size: 100%; color: #a0a0a0; background-color: inherit; text-decoration: none; margin-right: 10px; }
.dp-highlighter .tools a:hover 				{ color: #ff9933; background-color: inherit; text-decoration: underline; }
.dp-highlighter #highlighter-formatted		{ display: none; }

/* 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: #ff5e34; background-color: inherit; }
.dp-highlighter .string 					{ color: blue; background-color: inherit; }
.dp-highlighter .keyword 					{ color: #fff310;  background-color: inherit; }
.dp-highlighter .preprocessor 				{ color: gray; background-color: inherit; }