]> git.tuebingen.mpg.de Git - paraslash.git/blob - web/para.css
play.c: Replace NULL check by assertion.
[paraslash.git] / web / para.css
1 body {
2         font-family: sans-serif;
3         background-color: black;
4         color: #bbbbbb;
5         text-align: justify;
6         padding: 0px 40px 40px 40px;
7         margin: 20px;
8 }
9
10 td {
11         padding: 2px 10px 2px 10px;
12         vertical-align: top;
13 }
14
15 span.slogan {
16         font-size: 200%;
17         font-weight: bold;
18         color: #ddd;
19 }
20
21 a {
22         color: #cc3322;
23 }
24
25 hr {
26         border-top: 1px solid yellow;
27 }
28
29 /* doxgen */
30
31 /* Data structure index. Box with clickable letters */
32 div.qindex {
33         width: 100%;
34         background-color: #000055;
35         border: 1px solid #ffff00;
36         text-align: center;
37         margin: 2px;
38         padding: 2px;
39         line-height: 140%;
40 }
41
42 /* Data structure index, clickable letters */
43 a.qindex {
44        text-decoration: none;
45        font-weight: bold;
46        color: #cc3322;
47 }
48
49 a.qindex:visited {
50        text-decoration: none;
51        font-weight: bold;
52        color: #cc3322
53 }
54
55 a.qindex:hover {
56         text-decoration: none;
57         background-color: #ffff00;
58 }
59
60 a.el {
61         text-decoration: none;
62         font-weight: bold
63 }
64
65 a.elRef { font-weight: bold }
66
67 a.code:link {
68         text-decoration: none;
69         font-weight: normal;
70         color: #BA3708
71 }
72
73 a.code:visited {
74         text-decoration: none;
75         font-weight: normal;
76         color: #BA3708
77 }
78
79 a.codeRef:link {
80         font-weight: normal;
81         color: #BA3708
82 }
83
84 a.codeRef:visited {
85         font-weight: normal;
86         color: #BA3708
87 }
88
89 dl.el { margin-left: -1cm }
90 .fragment {
91        font-family: Fixed, monospace;
92        font-size: 95%;
93 }
94
95 pre.fragment {
96         border: 1px solid #CCCCCC;
97         background-color: #351505;
98         margin-top: 4px;
99         margin-bottom: 4px;
100         margin-left: 2px;
101         margin-right: 8px;
102         padding-left: 6px;
103         padding-right: 6px;
104         padding-top: 4px;
105         padding-bottom: 4px;
106 }
107
108 /* data structures non-clickable letters */
109 div.ah {
110         background-color: black;
111         font-weight: bold;
112         color: #cccccc;
113         margin-bottom: 3px;
114         margin-top: 3px
115 }
116
117 div.groupHeader {
118        margin-left: 16px;
119        margin-top: 12px;
120        margin-bottom: 6px;
121        font-weight: bold;
122 }
123
124 div.groupText {
125         margin-left: 16px;
126         font-style: italic;
127         font-size: 90%
128 }
129
130 /* File list */
131 td.indexkey {
132         background-color: #000055;
133         font-weight: bold;
134         padding-right  : 10px;
135         padding-top    : 2px;
136         padding-left   : 10px;
137         padding-bottom : 2px;
138         margin-left    : 0px;
139         margin-right   : 0px;
140         margin-top     : 2px;
141         margin-bottom  : 2px;
142         border: 1px solid #ffff00;
143 }
144
145 td.indexvalue {
146         background-color: #000055;
147         font-style: italic;
148         padding-right  : 10px;
149         padding-top    : 2px;
150         padding-left   : 10px;
151         padding-bottom : 2px;
152         margin-left    : 0px;
153         margin-right   : 0px;
154         margin-top     : 2px;
155         margin-bottom  : 2px;
156         border: 1px solid #ffff00;
157 }
158
159 tr.memlist {
160    background-color: #112244;
161 }
162 p.formulaDsp { text-align: center; }
163 img.formulaDsp { }
164 img.formulaInl { vertical-align: middle; }
165
166 /* Overwiew on top of page for *.c file */
167
168 .mdescLeft { /* empty box on the left besides short description */
169         padding: 0px 8px 4px 8px;
170         margin: 0px;
171 }
172
173 .mdescRight { /* Short description */
174         padding: 0px 8px 4px 8px;
175         font-size: 100%;
176         font-style: italic;
177         margin: 0px;
178 }
179
180 .memItemLeft { /* return value */
181         color: #ffffff;
182         border-top-color: #ffff00;
183         padding: 1px 0px 0px 8px;
184         margin: 4px;
185         border-top-width: 2px;
186         border-top-style: solid;
187         border-right-style: none;
188         border-bottom-style: none;
189         border-left-style: none;
190         font-size: 100%;
191 }
192
193 .memItemRight { /* function declaration */
194         color: #ffffff;
195         border-top-color: #ffff00;
196         padding: 1px 8px 0px 8px;
197         margin: 4px;
198         border-top-width: 2px;
199         border-top-style: solid;
200         border-right-style: none;
201         border-bottom-style: none;
202         border-left-style: none;
203         font-size: 100%;
204 }
205
206 .search {
207         color: #f03309;
208         font-weight: bold;
209 }
210
211 form.search {
212         margin-bottom: 0px;
213         margin-top: 0px;
214 }
215
216 input.search {
217         font-size: 75%;
218         color: #800000;
219         font-weight: normal;
220         background-color: #000000;
221 }
222
223 td.tiny {
224         font-size: 75%;
225 }
226
227 .dirtab { padding: 4px;
228           border-collapse: collapse;
229           border: 1px solid #84b007;
230 }
231
232 th.dirtab {
233         background: #080e02;
234         font-weight: bold;
235 }
236
237 /* Style for detailed member documentation */
238 .memtemplate {
239         font-size: 100%;
240         color: #cccccc;
241         font-weight: normal;
242 }
243
244 .memitem { /* outer border around function */
245         padding: 6px;
246         background-color: #000000;
247         border-width: 2px;
248         border-style: solid;
249         border-color: #ffff00;
250 }
251
252 .memname {
253         color: #ffffff; /* name of the function */
254         white-space: nowrap;
255         font-weight: bold;
256 }
257
258 .memdoc{
259         padding-left: 10px;
260 }
261
262 /* inner box containing function definition */
263 .memproto {
264         background-color: #000055;
265         width: 100%;
266         border-width: 2px;
267         border-style: solid;
268         border-color: #ffff00;
269         font-weight: bold;
270 }
271
272 .paramkey {
273         color: #ff0000;
274         text-align: right;
275 }
276
277 .paramtype { /* type of function parameter, e.g. "int" */
278         color: #00ff00;
279         white-space: nowrap;
280 }
281
282 .paramname { /* name of function parameter */
283         color: #ffff00;
284         font-style: italic;
285 }
286
287 span.cntrl {
288         border: dashed #aaaaaa;
289         border-width: 1px;
290         padding: 0px 2px 0px 2px;
291         margin:  0px 2px 0px 2px;
292 }
293
294 div.page_header {
295         padding: 8px;
296         font-size: 120%;
297         font-weight: bold;
298         background-color: #151515;
299 }
300
301 div.page_header a:visited, a.header {
302         color: #cc3322;
303 }
304
305 div.page_header a:hover {
306         color: #880000;
307 }
308
309 div.page_nav {
310         padding: 8px;
311 }
312
313 div.page_nav a:visited {
314         color: #cc3322;
315 }
316
317 div.page_path {
318         padding: 8px;
319         font-weight: bold;
320         border: solid #d9d8d1;
321         border-width: 0px 0px 1px;
322 }
323
324 div.page_footer {
325         height: 17px;
326         padding: 4px 8px;
327         background-color: #d9d8d1;
328 }
329
330 div.page_footer_text {
331         float: left;
332         color: #555555;
333         font-style: italic;
334 }
335
336 div.page_body {
337         padding: 8px;
338         font-family: monospace;
339         font-size: 120%;
340 }
341
342 a.title:hover {
343         background-color: #AA3100;
344 }
345
346 div.title_text {
347         padding: 6px 0px;
348         border: solid #d9d8d1;
349         border-width: 0px 0px 1px;
350         font-family: monospace;
351 }
352
353 div.log_body {
354         padding: 8px 8px 8px 150px;
355         font-family: monospace;
356         font-size: 120%;
357 }
358
359 div.log {
360         font-family: monospace;
361         font-size: 120%;
362 }
363
364 span.age {
365         position: relative;
366         float: left;
367         width: 142px;
368         font-style: italic;
369 }
370
371 span.signoff {
372         color: #888888;
373 }
374
375 div.log_link {
376         padding: 0px 8px;
377         font-size: 70%;
378         font-family: sans-serif;
379         font-style: normal;
380         position: relative;
381         float: left;
382         width: 136px;
383 }
384
385 div.list_head {
386         padding: 6px 8px 4px;
387         border: solid #d9d8d1;
388         border-width: 1px 0px 0px;
389         font-style: italic;
390 }
391
392 div.author_date {
393         padding: 8px;
394         border: solid #d9d8d1;
395         border-width: 0px 0px 1px 0px;
396         font-style: italic;
397 }
398
399 a.list {
400         text-decoration: none;
401         color: #cc3322;
402 }
403
404 a.subject, a.name {
405         font-weight: bold;
406 }
407
408 table.tags a.subject {
409         font-weight: normal;
410 }
411
412 a.list:hover {
413         text-decoration: underline;
414         color: #880000;
415 }
416
417 a.text {
418         text-decoration: none;
419         color: #0000cc;
420 }
421
422 a.text:visited {
423         text-decoration: none;
424         color: #880000;
425 }
426
427 a.text:hover {
428         text-decoration: underline;
429         color: #880000;
430 }