1 $background: white !default;
3 $line_alt1_background: $background !default;
4 $line_alt2_background: $background !default;
6 $line_highlighted_background: #e0e0e0 !default;
7 $line_highlighted_number: black !default;
9 $gutter_text: #afafaf !default;
10 $gutter_border_color: #6ce26c !default;
11 $gutter_border: 3px solid $gutter_border_color !default;
13 $toolbar_collapsed_a: #00f !default;
14 $toolbar_collapsed_a_hover: #f00 !default;
15 $toolbar_collapsed_background: #fff !default;
16 $toolbar_collapsed_border: 1px solid $gutter_border_color !default;
18 $toolbar_a: #fff !default;
19 $toolbar_a_hover: #000 !default;
20 $toolbar_background: $gutter_border_color !default;
21 $toolbar_border: none !default;
23 $code_plain: black !default;
24 $code_comments: #008200 !default;
25 $code_string: blue !default;
26 $code_keyword: #006699 !default;
27 $code_preprocessor: gray !default;
28 $code_variable: #aa7700 !default;
29 $code_value: #009900 !default;
30 $code_functions: #ff1493 !default;
31 $code_constants: #0066cc !default;
32 $code_script: $code_keyword !default;
33 $code_script_background: none !default;
34 $code_color1: gray !default;
35 $code_color2: #ff1493 !default;
36 $code_color3: red !default;
38 $caption_color: $code_plain !default;
40 // Interface elements.
42 background-color: $background !important;
44 // Highlighed line number
46 &.alt1 { background-color: $line_alt1_background !important; }
47 &.alt2 { background-color: $line_alt2_background !important; }
51 &.alt1, &.alt2 { background-color: $line_highlighted_background !important; }
52 &.number { color: $line_highlighted_number !important; }
58 color: $caption_color !important;
62 // Add border to the lines
64 color: $gutter_text !important;
66 border-right: $gutter_border !important;
69 background-color: $gutter_border_color !important;
70 color: $background !important;
75 &.printing .line .content { border: none !important; }
78 overflow: visible !important;
81 color: $toolbar_collapsed_a !important;
82 background: $toolbar_collapsed_background !important;
83 border: $toolbar_collapsed_border !important;
86 color: $toolbar_collapsed_a !important;
87 &:hover { color: $toolbar_collapsed_a_hover !important; }
93 color: $toolbar_a !important;
94 background: $toolbar_background !important;
95 border: $toolbar_border !important;
97 color: $toolbar_a !important;
98 &:hover { color: $toolbar_a_hover !important; }
102 // Actual syntax highlighter colors.
103 .plain, .plain a { color: $code_plain !important; }
104 .comments, .comments a { color: $code_comments !important; }
105 .string, .string a { color: $code_string !important; }
106 .keyword { color: $code_keyword !important; }
107 .preprocessor { color: $code_preprocessor !important; }
108 .variable { color: $code_variable !important; }
109 .value { color: $code_value !important; }
110 .functions { color: $code_functions !important; }
111 .constants { color: $code_constants !important; }
113 font-weight: bold !important;
114 color: $code_script !important;
115 background-color: $code_script_background !important;
117 .color1, .color1 a { color: $code_color1 !important; }
118 .color2, .color2 a { color: $code_color2 !important; }
119 .color3, .color3 a { color: $code_color3 !important; }