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