add libreplanet slides
[iankelling.org] / css / code-highlight.scss
1 /* from https://jekyllrb.com/docs/templates/#code-snippet-highlighting*/
2 /* links to a 6 year old css file supposedly used by github:*/
3 /* https://github.com/mojombo/tpw/blob/master/css/syntax.css*/
4 /* googling jekyll source code css, leads*/
5 /* https://github.com/jwarby/jekyll-pygments-themes, which seems ok,*/
6 /* but I'm curious what the upstream default is. I find rogue has no*/
7 /* default. pygments does, so I do that:*/
8 /* http://pygments.org/docs/quickstart/*/
9 /* fire up python2,*/
10
11 /* from pygments.formatters import HtmlFormatter */
12 /* print HtmlFormatter().get_style_defs('.highlight')*/
13
14 .highlight .cm {
15 color: #999988;
16 font-style: italic;
17 }
18 .highlight .cp {
19 color: #999999;
20 font-weight: bold;
21 }
22 .highlight .c1 {
23 color: #999988;
24 font-style: italic;
25 }
26 .highlight .cs {
27 color: #999999;
28 font-weight: bold;
29 font-style: italic;
30 }
31 .highlight .c, .highlight .cd {
32 color: #999988;
33 font-style: italic;
34 }
35 .highlight .err {
36 color: #a61717;
37 background-color: #e3d2d2;
38 }
39 .highlight .gd {
40 color: #000000;
41 background-color: #ffdddd;
42 }
43 .highlight .ge {
44 color: #000000;
45 font-style: italic;
46 }
47 .highlight .gr {
48 color: #aa0000;
49 }
50 .highlight .gh {
51 color: #999999;
52 }
53 .highlight .gi {
54 color: #000000;
55 background-color: #ddffdd;
56 }
57 .highlight .go {
58 color: #888888;
59 }
60 .highlight .gp {
61 color: #555555;
62 }
63 .highlight .gs {
64 font-weight: bold;
65 }
66 .highlight .gu {
67 color: #aaaaaa;
68 }
69 .highlight .gt {
70 color: #aa0000;
71 }
72 .highlight .kc {
73 color: #000000;
74 font-weight: bold;
75 }
76 .highlight .kd {
77 color: #000000;
78 font-weight: bold;
79 }
80 .highlight .kn {
81 color: #000000;
82 font-weight: bold;
83 }
84 .highlight .kp {
85 color: #000000;
86 font-weight: bold;
87 }
88 .highlight .kr {
89 color: #000000;
90 font-weight: bold;
91 }
92 .highlight .kt {
93 color: #445588;
94 font-weight: bold;
95 }
96 .highlight .k, .highlight .kv {
97 color: #000000;
98 font-weight: bold;
99 }
100 .highlight .mf {
101 color: #009999;
102 }
103 .highlight .mh {
104 color: #009999;
105 }
106 .highlight .il {
107 color: #009999;
108 }
109 .highlight .mi {
110 color: #009999;
111 }
112 .highlight .mo {
113 color: #009999;
114 }
115 .highlight .m, .highlight .mb, .highlight .mx {
116 color: #009999;
117 }
118 .highlight .sb {
119 color: #d14;
120 }
121 .highlight .sc {
122 color: #d14;
123 }
124 .highlight .sd {
125 color: #d14;
126 }
127 .highlight .s2 {
128 color: #d14;
129 }
130 .highlight .se {
131 color: #d14;
132 }
133 .highlight .sh {
134 color: #d14;
135 }
136 .highlight .si {
137 color: #d14;
138 }
139 .highlight .sx {
140 color: #d14;
141 }
142 .highlight .sr {
143 color: #009926;
144 }
145 .highlight .s1 {
146 color: #d14;
147 }
148 .highlight .ss {
149 color: #990073;
150 }
151 .highlight .s {
152 color: #d14;
153 }
154 .highlight .na {
155 color: #008080;
156 }
157 .highlight .bp {
158 color: #999999;
159 }
160 .highlight .nb {
161 color: #0086B3;
162 }
163 .highlight .nc {
164 color: #445588;
165 font-weight: bold;
166 }
167 .highlight .no {
168 color: #008080;
169 }
170 .highlight .nd {
171 color: #3c5d5d;
172 font-weight: bold;
173 }
174 .highlight .ni {
175 color: #800080;
176 }
177 .highlight .ne {
178 color: #990000;
179 font-weight: bold;
180 }
181 .highlight .nf {
182 color: #990000;
183 font-weight: bold;
184 }
185 .highlight .nl {
186 color: #990000;
187 font-weight: bold;
188 }
189 .highlight .nn {
190 color: #555555;
191 }
192 .highlight .nt {
193 color: #000080;
194 }
195 .highlight .vc {
196 color: #008080;
197 }
198 .highlight .vg {
199 color: #008080;
200 }
201 .highlight .vi {
202 color: #008080;
203 }
204 .highlight .nv {
205 color: #008080;
206 }
207 .highlight .ow {
208 color: #000000;
209 font-weight: bold;
210 }
211 .highlight .o {
212 color: #000000;
213 font-weight: bold;
214 }
215 .highlight .w {
216 color: #bbbbbb;
217 }
218 .highlight {
219 background-color: #f8f8f8;
220 }