]> git.tuebingen.mpg.de Git - paraslash.git/blob - web/para.css
1460802681a4334cc7bef82d883896fa7587d8d8
[paraslash.git] / web / para.css
1 body,h1,h2,h3,h4,h5,h6,p,center,td,th,ul,dl,div {
2         font-family: sans-serif;
3 }
4
5 body {
6         background-color: black;
7         color: #bbbbbb;
8         margin: 0px;
9 }
10
11 table {
12         padding: 8px 4px;
13 }
14
15 td {
16         padding: 2px 5px;
17         font-size: 100%;
18         vertical-align: top;
19 }
20
21 caption { font-weight: bold }
22
23 /* doxgen */
24
25 /* Data structure index. Box with clickable letters */
26 div.qindex {
27         width: 100%;
28         background-color: #000055;
29         border: 1px solid #ffff00;
30         text-align: center;
31         margin: 2px;
32         padding: 2px;
33         line-height: 140%;
34 }
35
36 /* Data structure index, clickable letters */
37 a.qindex {
38        text-decoration: none;
39        font-weight: bold;
40        color: #cc3322;
41 }
42
43 a.qindex:visited {
44        text-decoration: none;
45        font-weight: bold;
46        color: #cc3322
47 }
48
49 a.qindex:hover {
50         text-decoration: none;
51         background-color: #ffff00;
52 }
53
54 a.el {
55         text-decoration: none;
56         font-weight: bold
57 }
58
59 a.elRef { font-weight: bold }
60
61 a.code:link {
62         text-decoration: none;
63         font-weight: normal;
64         color: #BA3708
65 }
66
67 a.code:visited {
68         text-decoration: none;
69         font-weight: normal;
70         color: #BA3708
71 }
72
73 a.codeRef:link {
74         font-weight: normal;
75         color: #BA3708
76 }
77
78 a.codeRef:visited {
79         font-weight: normal;
80         color: #BA3708
81 }
82
83 dl.el { margin-left: -1cm }
84 .fragment {
85        font-family: Fixed, monospace;
86        font-size: 95%;
87 }
88
89 pre.fragment {
90         border: 1px solid #CCCCCC;
91         background-color: #351505;
92         margin-top: 4px;
93         margin-bottom: 4px;
94         margin-left: 2px;
95         margin-right: 8px;
96         padding-left: 6px;
97         padding-right: 6px;
98         padding-top: 4px;
99         padding-bottom: 4px;
100 }
101
102 /* data structures non-clickable letters */
103 div.ah {
104         background-color: black;
105         font-weight: bold;
106         color: #cccccc;
107         margin-bottom: 3px;
108         margin-top: 3px
109 }
110
111 div.groupHeader {
112        margin-left: 16px;
113        margin-top: 12px;
114        margin-bottom: 6px;
115        font-weight: bold;
116 }
117
118 div.groupText {
119         margin-left: 16px;
120         font-style: italic;
121         font-size: 90%
122 }
123
124 /* File list */
125 td.indexkey {
126         background-color: #000055;
127         font-weight: bold;
128         padding-right  : 10px;
129         padding-top    : 2px;
130         padding-left   : 10px;
131         padding-bottom : 2px;
132         margin-left    : 0px;
133         margin-right   : 0px;
134         margin-top     : 2px;
135         margin-bottom  : 2px;
136         border: 1px solid #ffff00;
137 }
138
139 td.indexvalue {
140         background-color: #000055;
141         font-style: italic;
142         padding-right  : 10px;
143         padding-top    : 2px;
144         padding-left   : 10px;
145         padding-bottom : 2px;
146         margin-left    : 0px;
147         margin-right   : 0px;
148         margin-top     : 2px;
149         margin-bottom  : 2px;
150         border: 1px solid #ffff00;
151 }
152
153 tr.memlist {
154    background-color: #112244;
155 }
156 p.formulaDsp { text-align: center; }
157 img.formulaDsp { }
158 img.formulaInl { vertical-align: middle; }
159
160 /* Overwiew on top of page for *.c file */
161
162 .mdescLeft { /* empty box on the left besides short description */
163         padding: 0px 8px 4px 8px;
164         margin: 0px;
165 }
166
167 .mdescRight { /* Short description */
168         padding: 0px 8px 4px 8px;
169         font-size: 100%;
170         font-style: italic;
171         margin: 0px;
172 }
173
174 .memItemLeft { /* return value */
175         color: #ffffff;
176         border-top-color: #ffff00;
177         padding: 1px 0px 0px 8px;
178         margin: 4px;
179         border-top-width: 2px;
180         border-top-style: solid;
181         border-right-style: none;
182         border-bottom-style: none;
183         border-left-style: none;
184         font-size: 100%;
185 }
186
187 .memItemRight { /* function declaration */
188         color: #ffffff;
189         border-top-color: #ffff00;
190         padding: 1px 8px 0px 8px;
191         margin: 4px;
192         border-top-width: 2px;
193         border-top-style: solid;
194         border-right-style: none;
195         border-bottom-style: none;
196         border-left-style: none;
197         font-size: 100%;
198 }
199
200 .search {
201         color: #f03309;
202         font-weight: bold;
203 }
204
205 form.search {
206         margin-bottom: 0px;
207         margin-top: 0px;
208 }
209
210 input.search {
211         font-size: 75%;
212         color: #800000;
213         font-weight: normal;
214         background-color: #000000;
215 }
216
217 td.tiny {
218         font-size: 75%;
219 }
220
221 /* links */
222 a {
223         color: #cc3322;
224 }
225
226 .dirtab { padding: 4px;
227           border-collapse: collapse;
228           border: 1px solid #84b007;
229 }
230
231 th.dirtab {
232         background: #080e02;
233         font-weight: bold;
234 }
235
236 hr {
237         height: 1px;
238         border: none;
239         border-top: 1px solid yellow;
240 }
241
242 /* Style for detailed member documentation */
243 .memtemplate {
244         font-size: 100%;
245         color: #cccccc;
246         font-weight: normal;
247 }
248
249 .memitem { /* outer border around function */
250         padding: 6px;
251         background-color: #000000;
252         border-width: 2px;
253         border-style: solid;
254         border-color: #ffff00;
255 }
256
257 .memname {
258         color: #ffffff; /* name of the function */
259         white-space: nowrap;
260         font-weight: bold;
261 }
262
263 .memdoc{
264         padding-left: 10px;
265 }
266
267 /* inner box containing function definition */
268 .memproto {
269         background-color: #000055;
270         width: 100%;
271         border-width: 2px;
272         border-style: solid;
273         border-color: #ffff00;
274         font-weight: bold;
275 }
276
277 .paramkey {
278         color: #ff0000;
279         text-align: right;
280 }
281
282 .paramtype { /* type of function parameter, e.g. "int" */
283         color: #00ff00;
284         white-space: nowrap;
285 }
286
287 .paramname { /* name of function parameter */
288         color: #ffff00;
289         font-style: italic;
290 }
291
292 span.cntrl {
293         border: dashed #aaaaaa;
294         border-width: 1px;
295         padding: 0px 2px 0px 2px;
296         margin:  0px 2px 0px 2px;
297 }
298
299 img.logo {
300         float: right;
301         border-width: 0px;
302 }
303
304 div.page_header {
305         padding: 8px;
306         font-size: 150%;
307         font-weight: bold;
308         background-color: #151515;
309 }
310
311 div.page_header a:visited, a.header {
312         color: #cc3322;
313 }
314
315 div.page_header a:hover {
316         color: #880000;
317 }
318
319 div.page_nav {
320         padding: 8px;
321 }
322
323 div.page_nav a:visited {
324         color: #cc3322;
325 }
326
327 div.page_path {
328         padding: 8px;
329         font-weight: bold;
330         border: solid #d9d8d1;
331         border-width: 0px 0px 1px;
332 }
333
334 div.page_footer {
335         height: 17px;
336         padding: 4px 8px;
337         background-color: #d9d8d1;
338 }
339
340 div.page_footer_text {
341         float: left;
342         color: #555555;
343         font-style: italic;
344 }
345
346 div.page_body {
347         padding: 8px;
348         font-family: monospace;
349         font-size: 150%;
350 }
351
352 div.title {
353         display: block;
354         padding: 6px 8px;
355         font-weight: bold;
356         background-color: #555555;
357         text-decoration: none;
358         color: white;
359 }
360
361 a.title:hover {
362         background-color: #AA3100;
363 }
364
365 div.title_text {
366         padding: 6px 0px;
367         border: solid #d9d8d1;
368         border-width: 0px 0px 1px;
369         font-family: monospace;
370 }
371
372 div.log_body {
373         padding: 8px 8px 8px 150px;
374 }
375
376 span.age {
377         position: relative;
378         float: left;
379         width: 142px;
380         font-style: italic;
381 }
382
383 span.signoff {
384         color: #888888;
385 }
386
387 div.log_link {
388         padding: 0px 8px;
389         font-size: 70%;
390         font-family: sans-serif;
391         font-style: normal;
392         position: relative;
393         float: left;
394         width: 136px;
395 }
396
397 div.list_head {
398         padding: 6px 8px 4px;
399         border: solid #d9d8d1;
400         border-width: 1px 0px 0px;
401         font-style: italic;
402 }
403
404 div.author_date {
405         padding: 8px;
406         border: solid #d9d8d1;
407         border-width: 0px 0px 1px 0px;
408         font-style: italic;
409 }
410
411 a.list {
412         text-decoration: none;
413         color: #cc3322;
414 }
415
416 a.subject, a.name {
417         font-weight: bold;
418 }
419
420 table.tags a.subject {
421         font-weight: normal;
422 }
423
424 a.list:hover {
425         text-decoration: underline;
426         color: #880000;
427 }
428
429 a.text {
430         text-decoration: none;
431         color: #0000cc;
432 }
433
434 a.text:visited {
435         text-decoration: none;
436         color: #880000;
437 }
438
439 a.text:hover {
440         text-decoration: underline;
441         color: #880000;
442 }
443
444 table.project_list {
445         border-spacing: 0;
446 }
447
448 table.diff_tree {
449         border-spacing: 0;
450         font-family: monospace;
451 }
452
453 table.combined.diff_tree th {
454         text-align: center;
455 }
456
457 table.combined.diff_tree td {
458         padding-right: 24px;
459 }
460
461 table.combined.diff_tree th.link,
462 table.combined.diff_tree td.link {
463         padding: 0px 2px;
464 }
465
466 table.combined.diff_tree td.nochange a {
467         color: #6666ff;
468 }
469
470 table.combined.diff_tree td.nochange a:hover,
471 table.combined.diff_tree td.nochange a:visited {
472         color: #d06666;
473 }
474
475 table.blame {
476         border-collapse: collapse;
477 }
478
479 table.blame td {
480         padding: 0px 5px;
481         font-size: 100%;
482         vertical-align: top;
483 }
484
485 th {
486         padding: 2px 5px;
487         font-size: 100%;
488         text-align: left;
489 }
490
491 tr.light:hover {
492         background-color: yellow;
493         color: #cc3322;
494 }
495
496 tr.dark {
497         background-color: #333333;
498 }
499
500 tr.dark2 {
501         background-color: #333333;
502 }
503
504 tr.dark:hover {
505         background-color: yellow;
506         color: #cc3322;
507 }
508
509 td.link, td.selflink {
510         padding: 2px 5px;
511         font-family: sans-serif;
512         font-size: 70%;
513 }
514
515 td.selflink {
516         padding-right: 0px;
517 }
518
519 td.sha1 {
520         font-family: monospace;
521 }
522
523 td.error {
524         color: red;
525         background-color: yellow;
526 }
527
528 td.current_head {
529         text-decoration: underline;
530 }
531
532 table.diff_tree span.file_status.new {
533         color: #008000;
534 }
535
536 table.diff_tree span.file_status.deleted {
537         color: #c00000;
538 }
539
540 table.diff_tree span.file_status.moved,
541 table.diff_tree span.file_status.mode_chnge {
542         color: #777777;
543 }
544
545 table.diff_tree span.file_status.copied {
546         color: #70a070;
547 }
548
549 /* noage: "No commits" */
550 table.project_list td.noage {
551         color: #808080;
552         font-style: italic;
553 }
554
555 /* age2: 60*60*24*2 <= age */
556 table.project_list td.age2, table.blame td.age2 {
557         font-style: italic;
558 }
559
560 /* age1: 60*60*2 <= age < 60*60*24*2 */
561 table.project_list td.age1 {
562         color: #009900;
563         font-style: italic;
564 }
565
566 table.blame td.age1 {
567         color: #009900;
568         background: transparent;
569 }
570
571 /* age0: age < 60*60*2 */
572 table.project_list td.age0 {
573         color: #009900;
574         font-style: italic;
575         font-weight: bold;
576 }
577
578 table.blame td.age0 {
579         color: #009900;
580         background: transparent;
581         font-weight: bold;
582 }
583
584 td.pre, div.pre, div.diff {
585         white-space: pre;
586 }
587
588 td.mode {
589         font-family: monospace;
590 }
591
592 /* styling of diffs (patchsets): commitdiff and blobdiff views */
593
594 div.diff.header,
595 div.diff.extended_header {
596         white-space: normal;
597 }
598
599 div.diff.header {
600         font-weight: bold;
601
602         background-color: #333333;
603
604         margin-top: 4px;
605         padding: 4px 0px 2px 0px;
606         border: solid #d9d8d1;
607         border-width: 1px 0px 1px 0px;
608 }
609
610 div.diff.header a.path {
611         text-decoration: underline;
612 }
613
614 div.diff.extended_header,
615 div.diff.extended_header a.path,
616 div.diff.extended_header a.hash {
617         color: #cccccc;
618 }
619
620 div.diff.extended_header .info {
621         color: #b0b0b0;
622 }
623
624 div.diff.extended_header {
625         background-color: #333333;
626         padding: 2px 0px 2px 0px;
627 }
628
629 div.diff a.list,
630 div.diff a.path,
631 div.diff a.hash {
632         text-decoration: none;
633 }
634
635 div.diff a.list:hover,
636 div.diff a.path:hover,
637 div.diff a.hash:hover {
638         text-decoration: underline;
639 }
640
641 div.diff.to_file a.path,
642 div.diff.to_file {
643         color: #007000;
644 }
645
646 div.diff.add {
647         color: #008800;
648 }
649
650 div.diff.from_file a.path,
651 div.diff.from_file {
652         color: #ff0000;
653 }
654
655 div.diff.rem {
656         color: #cc0000;
657 }
658
659 div.diff.chunk_header a,
660 div.diff.chunk_header {
661         color: #990099;
662 }
663
664 div.diff.chunk_header {
665         border: dotted #ffe0ff;
666         border-width: 1px 0px 0px 0px;
667         margin-top: 2px;
668 }
669
670 div.diff.chunk_header span.chunk_info {
671         background-color: #000000;
672 }
673
674 div.diff.chunk_header span.section {
675         color: #aa22aa;
676 }
677
678 div.diff.incomplete {
679         color: #cccccc;
680 }
681
682 div.diff.nodifferences {
683         font-weight: bold;
684         color: #600000;
685 }
686
687 div.index_include {
688         border: solid #d9d8d1;
689         border-width: 0px 0px 1px;
690         padding: 12px 8px;
691 }
692
693 div.search {
694         font-size: 100%;
695         font-weight: normal;
696         margin: 4px 8px;
697         float: right;
698         top: 56px;
699         right: 12px
700 }
701
702 td.linenr {
703         text-align: right;
704 }
705
706 a.linenr {
707         color: #999999;
708         text-decoration: none
709 }
710
711 a.rss_logo {
712         float: right;
713         padding: 3px 0px;
714         width: 35px;
715         line-height: 10px;
716         border: 1px solid;
717         border-color: #fcc7a5 #7d3302 #3e1a01 #ff954e;
718         color: #ffffff;
719         background-color: #ff6600;
720         font-weight: bold;
721         font-family: sans-serif;
722         font-size: 70%;
723         text-align: center;
724         text-decoration: none;
725 }
726
727 a.rss_logo:hover {
728         background-color: #ee5500;
729 }
730
731 span.refs span {
732         padding: 0px 4px;
733         font-size: 70%;
734         font-weight: normal;
735         border: 1px solid;
736         background-color: #222222;
737         border-color: #ffccff #ff00ee #ff00ee #ffccff;
738 }
739
740 span.refs span.ref {
741         background-color: #aaaaff;
742         border-color: #ccccff #0033cc #0033cc #ccccff;
743 }
744
745 span.refs span.tag {
746         background-color: #ffffaa;
747         border-color: #ffffcc #ffee00 #ffee00 #ffffcc;
748 }
749
750 span.refs span.head {
751         background-color: #222222;
752         border-color: #ccffcc #00cc33 #00cc33 #ccffcc;
753 }
754
755 span.atnight {
756         color: #cc0000;
757 }
758
759 span.match {
760         color: #e00000;
761 }
762
763 div.binary {
764         font-style: italic;
765 }