1@mixin round_corners_custom($top, $right, $bottom, $left) {
2	-moz-border-radius: $top $right $bottom $left !important;
3	-webkit-border-radius: $top $right $bottom $left !important;
4}
5
6@mixin round_corners($radius) {
7	@include round_corners_custom($radius, $radius, $radius, $radius);
8}
9
10.syntaxhighlighter {
11	a,
12	div,
13	code,
14	table,
15	table td,
16	table tr,
17	table tbody,
18	table thead,
19	table caption,
20	textarea {
21		@include round_corners(0);
22
23		background: none !important;
24		border: 0 !important;
25		bottom: auto !important;
26		float: none !important;
27		height: auto !important;
28		left: auto !important;
29		line-height: 1.1em !important;
30		margin: 0 !important;
31		outline: 0 !important;
32		overflow: visible !important;
33		padding: 0 !important;
34		position: static !important;
35		right: auto !important;
36		text-align: left !important;
37		top: auto !important;
38		vertical-align: baseline !important;
39		width: auto !important;
40		box-sizing: content-box !important;
41		font: {
42			family: "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace !important;
43			weight: normal !important;
44			style: normal !important;
45			size: 1em !important;
46		}
47		min: {
48			// For IE8, FF & WebKit
49			height: inherit !important;
50			// For IE7
51			height: auto !important;
52		}
53	}
54}
55
56.syntaxhighlighter {
57	width: 100% !important;
58	margin: 1em 0 1em 0 !important;
59
60	position: relative !important;
61	overflow: auto !important;
62	font-size: 1em !important;
63
64	&.source { overflow: hidden !important; }
65
66	// set up bold and italic
67	.bold { font-weight: bold !important; }
68	.italic { font-style: italic !important; }
69
70	.line { white-space: pre !important; }
71
72	// main table and columns
73	table {
74		width: 100% !important;
75		caption {
76			text-align: left !important;
77			padding: .5em 0 0.5em 1em !important;
78		}
79
80		td.code {
81			width: 100% !important;
82
83			.container {
84				position: relative !important;
85
86				textarea {
87					box-sizing: border-box !important;
88					position: absolute !important;
89					left: 0 !important;
90					top: 0 !important;
91					width: 100% !important;
92					height: 100% !important;
93					border: none !important;
94					background: white !important;
95					padding-left: 1em !important;
96					overflow: hidden !important;
97					white-space: pre !important;
98				}
99			}
100		}
101
102		// middle spacing between line numbers and lines
103		td.gutter .line {
104			text-align: right !important;
105			padding: 0 0.5em 0 1em !important;
106		}
107
108		td.code .line {
109			padding: 0 1em !important;
110		}
111	}
112
113	&.nogutter {
114		td.code {
115			.container textarea, .line { padding-left: 0em !important; }
116		}
117	}
118
119	&.show { display: block !important; }
120
121	// Adjust some properties when collapsed
122	&.collapsed {
123		table { display: none !important; }
124
125		.toolbar {
126			padding: 0.1em 0.8em 0em 0.8em !important;
127			font-size: 1em !important;
128			position: static !important;
129			width: auto !important;
130			height: auto !important;
131
132			span {
133				display: inline !important;
134				margin-right: 1em !important;
135
136				a {
137					padding: 0 !important;
138					display: none !important;
139					&.expandSource { display: inline !important; }
140				}
141			}
142		}
143	}
144
145	// Styles for the toolbar
146	.toolbar {
147		position: absolute !important;
148		right: 1px !important;
149		top: 1px !important;
150		width: 11px !important;
151		height: 11px !important;
152		font-size: 10px !important;
153		z-index: 10 !important;
154
155		span.title { display: inline !important; }
156
157		a {
158			display: block !important;
159			text-align: center !important;
160			text-decoration: none !important;
161			padding-top: 1px !important;
162
163			&.expandSource { display: none !important; }
164		}
165	}
166
167	&.ie {
168		font-size: .9em !important;
169		padding: 1px 0 1px 0 !important;
170
171		.toolbar {
172			line-height: 8px !important;
173			a {
174				padding-top: 0px !important;
175			}
176		}
177	}
178
179	// Print view.
180	// Colors are based on the default theme without background.
181	&.printing {
182		.line.alt1 .content,
183		.line.alt2 .content,
184		.line.highlighted .number,
185		.line.highlighted.alt1 .content,
186		.line.highlighted.alt2 .content { background: none !important; }
187
188		// Gutter line numbers
189		.line {
190			.number { color: #bbbbbb !important; }
191			// Add border to the lines
192			.content { color: black !important; }
193		}
194
195		// Toolbar when visible
196		.toolbar { display: none !important; }
197		a { text-decoration: none !important; }
198		.plain, .plain a { color: black !important; }
199		.comments, .comments a { color: #008200 !important; }
200		.string, .string a { color: blue !important; }
201		.keyword {
202			color: #006699 !important;
203			font-weight: bold !important;
204		}
205		.preprocessor { color: gray !important; }
206		.variable { color: #aa7700 !important; }
207		.value { color: #009900 !important; }
208		.functions { color: #ff1493 !important; }
209		.constants { color: #0066cc !important; }
210		.script { font-weight: bold !important; }
211		.color1, .color1 a { color: gray !important; }
212		.color2, .color2 a { color: #ff1493 !important; }
213		.color3, .color3 a { color: red !important; }
214		.break, .break a { color: black !important; }
215	}
216}