summaryrefslogtreecommitdiffstats
path: root/website/static/css
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--website/static/css/code.css33
-rw-r--r--website/static/css/main.css357
2 files changed, 0 insertions, 390 deletions
diff --git a/website/static/css/code.css b/website/static/css/code.css
deleted file mode 100644
index c308845..0000000
--- a/website/static/css/code.css
+++ /dev/null
@@ -1,33 +0,0 @@
1/* Syntax highlighting code, by David Thompson, borrowed
2 from:
3 https://git.dthompson.us/blog.git/blob_plain/refs/heads/haunt-migration:/css/dthompson.css
4 David Thompson gives permission for this to be GPLv3+ and CC BY-SA 4.0
5
6 Modified significantly since.
7*/
8
9
10.syntax-special, .syntax-element {
11 color: #856;
12 font-weight: bold;
13}
14
15.syntax-symbol {
16 color: #423;
17}
18
19.syntax-string {
20 color: #484;
21}
22
23.syntax-keyword, .syntax-attribute {
24 color: #921;
25}
26
27.syntax-comment {
28 color: #666;
29}
30
31.syntax-open, .syntax-close {
32 color: #688;
33}
diff --git a/website/static/css/main.css b/website/static/css/main.css
deleted file mode 100644
index 73c2c7f..0000000
--- a/website/static/css/main.css
+++ /dev/null
@@ -1,357 +0,0 @@
1@import url("code.css");
2
3@font-face {
4 font-family: 'Roboto';
5 src: url('/static/fonts/Roboto-Light.ttf') format('truetype');
6 font-weight: normal;
7 font-style: normal;
8}
9
10@font-face {
11 font-family: 'Roboto-Italic';
12 src: url('/static/fonts/Roboto-LightItalic.ttf') format('truetype');
13 font-weight: normal;
14 font-style: italic;
15}
16
17@font-face {
18 font-family: 'Roboto-Bold';
19 src: url('/static/fonts/Roboto-Bold.ttf') format('truetype');
20 font-weight: normal;
21 font-style: bold;
22}
23
24@font-face {
25 font-family: 'FiraMono';
26 src: url('/static/fonts/FiraMono-Regular.ttf') format('truetype');
27 font-weight: normal;
28 font-style: bold;
29}
30
31@media all {html {font-size: 20px;}}
32@media all and (max-width:1260px){html {font-size: 20px;}}
33@media all and (max-width:1000px){html {font-size: 20px;}}
34@media all and (max-width:960px){html {font-size: 19px;}}
35@media all and (max-width:920px){html {font-size: 18px;}}
36@media all and (max-width:880px){html {font-size: 17px;}}
37@media all and (max-width:840px){html {font-size: 16px;}}
38@media all and (max-width:800px){html {font-size: 16px;}}
39@media all and (max-width:760px){html {font-size: 16px;}}
40
41
42/*#ffbf2d*/
43
44body,html {
45 background-color: #fafafa;
46 color: #073b4c;
47 width: 100%;
48 height: 100%;
49 line-height: 1.6em;
50 padding: 0px;
51 margin: 0px;
52 font-family: 'Roboto', sans-serif;
53}
54
55pre {
56 border-left: 3px solid #118ab2;
57 margin-left: -1em;
58 color: #423;
59 font-size: 0.9em;
60 padding: 0 0 0 1em;
61 text-align: left;
62 font-family: fixed-width;
63 overflow-x: display;
64 margin-bottom: 0.8rem;
65}
66
67code {
68 font-family: 'FiraMono', monospace;
69 border-radius: 0.3em;
70}
71
72/* Arrange to have between 40 and 70 characters per line. */
73
74.width-control {
75 max-width: 800px;
76 width: 65%;
77}
78
79@media all and (max-width: 760px) { .width-control { width: 90%; } };
80
81p {
82 max-width: 70rem;
83 margin-bottom: 0;
84}
85
86p + p {
87 /*text-indent: 0.5rem;*/
88 margin-top: 1.0rem;
89}
90
91#header {
92 background: url('../images/noise-bg.png');
93 width: 100%;
94 box-shadow: 0 3px 8px #ccc;
95 margin-bottom: 1em;
96}
97
98#header a.logo:focus img {
99 border-left: 2px dotted #118ab2;
100 border-right: 2px dotted #118ab2;
101}
102
103#header .logo.small img {
104 height: 4.5rem;
105 vertical-align: middle;
106}
107
108#header .logo.small {
109 border: none;
110}
111
112#header .members {
113 float: right;
114}
115
116.frontpage #header {
117 height: auto;
118 text-align: center;
119 padding-top: 2rem;
120 padding-bottom: 1rem;
121}
122
123.frontpage #header .front-page-heading {
124 font-size: 175%;
125 line-height: 150%;
126 text-align: left;
127 padding-top: 0.5em;
128}
129
130.frontpage #header .logo img {
131 margin: 0 auto;
132 max-width: 100%;
133 padding: 10px;
134 display: block;
135 height: 25rem;
136}
137
138#menubar {
139 display: inline-block;
140}
141
142.frontpage #menubar {
143 margin: auto;
144 padding: 0px;
145 display: block;
146 clear: both;
147}
148
149#header-inner {
150 margin: auto;
151 padding: 0px;
152}
153
154/* ghost element to maintain perfect centering */
155#header-inner:before {
156 content: '';
157 display: inline-block;
158 height: 100%;
159 vertical-align: middle;
160}
161
162.latest-news {
163 margin-top: 20px;
164 padding-top: 0px;
165 padding-bottom: 0px;
166 padding-left: 10pt;
167 border-left: solid 10px #ffbf2d;
168 color: #533;
169}
170
171.news-brief {
172}
173
174#collaboration {
175 border-top: solid 4px #aaaaaa;
176 border-bottom: solid 4px #aaaaaa;
177 background: #ffffff;
178 width: 100%;
179 bottom: 0px;
180}
181#collaboration-inner { margin: 10px auto 10px auto; }
182#collaboration .members { text-align: center; }
183#collaboration p { padding: 0px 10px 0px 10px; }
184#collaboration .members ul { display: inline-block; padding: 0px; margin: 0px; }
185#collaboration .members li {
186 display: inline-block; padding: 0px 10px; 0px 0px;
187 vertical-align: middle;
188}
189
190.post {
191 padding: 10px;
192 margin-bottom: 25px;
193}
194
195hr {
196 height: 3px;
197 background: url('/static/images/h-separator-darker.png');
198 background-repeat: no-repeat;
199 background-position: center;
200 width: 100%;
201 border: none;
202}
203
204.post h1 { color: #433; }
205.post h2 { color: #433; padding: 0pt; font-size: 1.3rem; }
206
207.post-about {
208 color: #4D4D4D;
209 font-size: 0.9em;
210 margin-top: -2em;
211}
212
213#menubar ul { display: inline-block; padding: 0px; margin: 0px; }
214#menubar li {
215 display: inline-block;
216 color: #000000;
217 height: 32px;
218 line-height: 32px;
219 list-style-type: none;
220 margin: 0px;
221 margin: 0px 13px 0px 0px;
222 text-transform: uppercase;
223 text-decoration: none;
224 font-size: small;
225}
226#menubar li.selected span {
227 border-bottom: 2px solid black;
228}
229#menubar li img {
230 vertical-align: middle;
231}
232
233#menubar ul:first-child {
234 padding-left: 10px;
235}
236
237#content {
238 margin: auto;
239 padding: 0px;
240}
241
242#content .search-field {
243 border: solid thin #aaaaaa;
244 width: 100%;
245 padding: 7px;
246 -webkit-border-radius: 5px;
247 -moz-border-radius: 5px;
248 border-radius: 5px;
249}
250
251#content table {
252 border-spacing: 0px;
253 padding: 0px;
254}
255
256#content table td { padding: 3px 5px 3px 5px; height: 25px; }
257
258#packages-table-wrapper {
259 font-size: 16px;
260}
261
262#stand-by {
263 background: #decd87;
264 -webkit-border-radius: 5px;
265 -moz-border-radius: 5px;
266 border-radius: 5px;
267 font-size: 16px;
268}
269
270#stand-by p { padding: 7px }
271
272#footer-box {
273 width: 100%;
274 margin: auto;
275 text-align: center;
276 color: #333333;
277 font-size: 0.8rem;
278}
279
280#footer-box p {
281 max-width: 100%;
282 text-align: center;
283}
284
285h1 {
286 clear: both;
287 line-height: 125%;
288 margin-top: 1.3rem;
289 margin-bottom: .3rem;
290 padding: 0px;
291 display: block;
292 font-size: 1.6rem;
293 font-weight: 800;
294}
295
296h1:first-child {
297 font-size: 1.8rem;
298 margin-bottom: 2rem;
299 margin-top: 0;
300}
301
302.title a { border: none; }
303a {
304 color: #000000;
305 outline: none;
306 border-style: none none solid none;
307 border-width: 2px;
308 border-color: #118ab2;
309 text-decoration: none;
310}
311a:focus {
312 border-bottom: 2px dotted;
313 border-color: inherit;
314}
315a:visited {
316 color: #433;
317 border-color: #06d6a0;
318 border-style: none none solid none;
319 border-width: 2px;
320 text-decoration: none;
321}
322a img { outline : none; }
323img { border: none; }
324
325audio, video, .full-width {
326 display: block;
327 margin: 50px auto;
328 max-width: 100%;
329}
330
331article ul {
332 padding-left: 0;
333 list-style-type: none;
334 list-style-position: outside;
335 margin-top: 0.5rem;
336 margin-bottom: 0.5rem;
337}
338
339article ul li + li {
340 margin-top: 1em;
341}
342
343article ul li::before {
344 display: inline-block;
345 content: "\2022";
346 padding-right: 0;
347 width: 35px;
348 margin-left: -35px;
349 color: #118ab2;
350 vertical-align: middle;
351 font-size: 80px;
352 line-height: 22px;
353 font-weight: bold;
354}
355
356#footer-box a { color: #333333; }
357#footer-box a:visited { color: #333333; }