1.dp-highlighter
2{
3	font-family: "Consolas", "Courier New", Courier, mono, serif;
4	font-size: 12px;
5	background-color: #E7E5DC;
6	width: 99%;
7	overflow: auto;
8	margin: 18px 0 18px 0 !important;
9	padding-top: 1px; /* adds a little border on top when controls are hidden */
10}
11
12/* clear styles */
13.dp-highlighter ol,
14.dp-highlighter ol li,
15.dp-highlighter ol li span
16{
17	margin: 0;
18	padding: 0;
19	border: none;
20}
21
22.dp-highlighter a,
23.dp-highlighter a:hover
24{
25	background: none;
26	border: none;
27	padding: 0;
28	margin: 0;
29}
30
31.dp-highlighter .bar
32{
33	padding-left: 45px;
34}
35
36.dp-highlighter.collapsed .bar,
37.dp-highlighter.nogutter .bar
38{
39	padding-left: 0px;
40}
41
42.dp-highlighter ol
43{
44	list-style: decimal; /* for ie */
45	background-color: #fff;
46	margin: 0px 0px 1px 45px !important; /* 1px bottom margin seems to fix occasional Firefox scrolling */
47	padding: 0px;
48	color: #5C5C5C;
49}
50
51.dp-highlighter.nogutter ol,
52.dp-highlighter.nogutter ol li
53{
54	list-style: none !important;
55	margin-left: 0px !important;
56}
57
58.dp-highlighter ol li,
59.dp-highlighter .columns div
60{
61	list-style: decimal-leading-zero; /* better look for others, override cascade from OL */
62	list-style-position: outside !important;
63	border-left: 3px solid #6CE26C;
64	background-color: #F8F8F8;
65	color: #5C5C5C;
66	padding: 0 3px 0 10px !important;
67	margin: 0 !important;
68	line-height: 14px;
69}
70
71.dp-highlighter.nogutter ol li,
72.dp-highlighter.nogutter .columns div
73{
74	border: 0;
75}
76
77.dp-highlighter .columns
78{
79	background-color: #F8F8F8;
80	color: gray;
81	overflow: hidden;
82	width: 100%;
83}
84
85.dp-highlighter .columns div
86{
87	padding-bottom: 5px;
88}
89
90.dp-highlighter ol li.alt
91{
92	background-color: #FFF;
93	color: inherit;
94}
95
96.dp-highlighter ol li span
97{
98	color: black;
99	background-color: inherit;
100}
101
102/* Adjust some properties when collapsed */
103
104.dp-highlighter.collapsed ol
105{
106	margin: 0px;
107}
108
109.dp-highlighter.collapsed ol li
110{
111	display: none;
112}
113
114/* Additional modifications when in print-view */
115
116.dp-highlighter.printing
117{
118	border: none;
119}
120
121.dp-highlighter.printing .tools
122{
123	display: none !important;
124}
125
126.dp-highlighter.printing li
127{
128	display: list-item !important;
129}
130
131/* Styles for the tools */
132
133.dp-highlighter .tools
134{
135	padding: 3px 8px 3px 10px;
136	font: 9px Verdana, Geneva, Arial, Helvetica, sans-serif;
137	color: silver;
138	background-color: #f8f8f8;
139	padding-bottom: 10px;
140	border-left: 3px solid #6CE26C;
141}
142
143.dp-highlighter.nogutter .tools
144{
145	border-left: 0;
146}
147
148.dp-highlighter.collapsed .tools
149{
150	border-bottom: 0;
151}
152
153.dp-highlighter .tools a
154{
155	font-size: 9px;
156	color: #a0a0a0;
157	background-color: inherit;
158	text-decoration: none;
159	margin-right: 10px;
160}
161
162.dp-highlighter .tools a:hover
163{
164	color: red;
165	background-color: inherit;
166	text-decoration: underline;
167}
168
169/* About dialog styles */
170
171.dp-about { background-color: #fff; color: #333; margin: 0px; padding: 0px; }
172.dp-about table { width: 100%; height: 100%; font-size: 11px; font-family: Tahoma, Verdana, Arial, sans-serif !important; }
173.dp-about td { padding: 10px; vertical-align: top; }
174.dp-about .copy { border-bottom: 1px solid #ACA899; height: 95%; }
175.dp-about .title { color: red; background-color: inherit; font-weight: bold; }
176.dp-about .para { margin: 0 0 4px 0; }
177.dp-about .footer { background-color: #ECEADB; color: #333; border-top: 1px solid #fff; text-align: right; }
178.dp-about .close { font-size: 11px; font-family: Tahoma, Verdana, Arial, sans-serif !important; background-color: #ECEADB; color: #333; width: 60px; height: 22px; }
179
180/* Language specific styles */
181
182.dp-highlighter .comment, .dp-highlighter .comments { color: #008200; background-color: inherit; }
183.dp-highlighter .string { color: blue; background-color: inherit; }
184.dp-highlighter .keyword { color: #069; font-weight: bold; background-color: inherit; }
185.dp-highlighter .preprocessor { color: gray; background-color: inherit; }
186