Properly compute redundancy_bytes
[opus.git] / doc / customdoxygen.css
1 /* The standard CSS for doxygen */
2
3 body, table, div, p, dl {
4         font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
5         font-size: 13px;
6         line-height: 1.3;
7 }
8
9 /* @group Heading Levels */
10
11 h1 {
12         font-size: 150%;
13 }
14
15 .title {
16         font-size: 150%;
17         font-weight: bold;
18         margin: 10px 2px;
19 }
20
21 h2 {
22         font-size: 120%;
23 }
24
25 h3 {
26         font-size: 100%;
27 }
28
29 dt {
30         font-weight: bold;
31 }
32
33 div.multicol {
34         -moz-column-gap: 1em;
35         -webkit-column-gap: 1em;
36         -moz-column-count: 3;
37         -webkit-column-count: 3;
38 }
39
40 p.startli, p.startdd, p.starttd {
41         margin-top: 2px;
42 }
43
44 p.endli {
45         margin-bottom: 0px;
46 }
47
48 p.enddd {
49         margin-bottom: 4px;
50 }
51
52 p.endtd {
53         margin-bottom: 2px;
54 }
55
56 /* @end */
57
58 caption {
59         font-weight: bold;
60 }
61
62 span.legend {
63         font-size: 70%;
64         text-align: center;
65 }
66
67 h3.version {
68         font-size: 90%;
69         text-align: center;
70 }
71
72 div.qindex, div.navtab{
73         background-color: #F1F1F1;
74         border: 1px solid #BDBDBD;
75         text-align: center;
76 }
77
78 div.qindex, div.navpath {
79         width: 100%;
80         line-height: 140%;
81 }
82
83 div.navtab {
84         margin-right: 15px;
85 }
86
87 /* @group Link Styling */
88
89 a {
90         color: #646464;
91         font-weight: normal;
92         text-decoration: none;
93 }
94
95 .contents a:visited {
96         color: #747474;
97 }
98
99 a:hover {
100         text-decoration: underline;
101 }
102
103 a.qindex {
104         font-weight: bold;
105 }
106
107 a.qindexHL {
108         font-weight: bold;
109         background-color: #B8B8B8;
110         color: #ffffff;
111         border: 1px double #A8A8A8;
112 }
113
114 .contents a.qindexHL:visited {
115         color: #ffffff;
116 }
117
118 a.el {
119         font-weight: bold;
120 }
121
122 a.elRef {
123 }
124
125 a.code, a.code:visited {
126         color: #4665A2;
127 }
128
129 a.codeRef, a.codeRef:visited {
130         color: #4665A2;
131 }
132
133 /* @end */
134
135 dl.el {
136         margin-left: -1cm;
137 }
138
139 .fragment {
140         font-family: monospace, fixed;
141         font-size: 105%;
142 }
143
144 pre.fragment {
145         border: 1px solid #D5D5D5;
146         background-color: #FCFCFC;
147         padding: 4px 6px;
148         margin: 4px 8px 4px 2px;
149         overflow: auto;
150         word-wrap: break-word;
151         font-size:  9pt;
152         line-height: 125%;
153 }
154
155 div.ah {
156         background-color: black;
157         font-weight: bold;
158         color: #ffffff;
159         margin-bottom: 3px;
160         margin-top: 3px;
161         padding: 0.2em;
162         border: solid thin #333;
163         border-radius: 0.5em;
164         -webkit-border-radius: .5em;
165         -moz-border-radius: .5em;
166         box-shadow: 2px 2px 3px #999;
167         -webkit-box-shadow: 2px 2px 3px #999;
168         -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
169         background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#000),color-stop(0.3, #444));
170         background-image: -moz-linear-gradient(center top, #eee 0%, #444 40%, #000);
171 }
172
173 div.groupHeader {
174         margin-left: 16px;
175         margin-top: 12px;
176         font-weight: bold;
177 }
178
179 div.groupText {
180         margin-left: 16px;
181         font-style: italic;
182 }
183
184 body {
185         background-color: white;
186         color: black;
187         margin: 0;
188 }
189
190 div.contents {
191         margin-top: 10px;
192         margin-left: 8px;
193         margin-right: 8px;
194 }
195
196 td.indexkey {
197         background-color: #F1F1F1;
198         font-weight: bold;
199         border: 1px solid #D5D5D5;
200         margin: 2px 0px 2px 0;
201         padding: 2px 10px;
202         white-space: nowrap;
203         vertical-align: top;
204 }
205
206 td.indexvalue {
207         background-color: #F1F1F1;
208         border: 1px solid #D5D5D5;
209         padding: 2px 10px;
210         margin: 2px 0px;
211 }
212
213 tr.memlist {
214         background-color: #F2F2F2;
215 }
216
217 p.formulaDsp {
218         text-align: center;
219 }
220
221 img.formulaDsp {
222
223 }
224
225 img.formulaInl {
226         vertical-align: middle;
227 }
228
229 div.center {
230         text-align: center;
231         margin-top: 0px;
232         margin-bottom: 0px;
233         padding: 0px;
234 }
235
236 div.center img {
237         border: 0px;
238 }
239
240 address.footer {
241         text-align: right;
242         padding-right: 12px;
243 }
244
245 img.footer {
246         border: 0px;
247         vertical-align: middle;
248 }
249
250 /* @group Code Colorization */
251
252 span.keyword {
253         color: #008000
254 }
255
256 span.keywordtype {
257         color: #604020
258 }
259
260 span.keywordflow {
261         color: #e08000
262 }
263
264 span.comment {
265         color: #800000
266 }
267
268 span.preprocessor {
269         color: #806020
270 }
271
272 span.stringliteral {
273         color: #002080
274 }
275
276 span.charliteral {
277         color: #008080
278 }
279
280 span.vhdldigit {
281         color: #ff00ff
282 }
283
284 span.vhdlchar {
285         color: #000000
286 }
287
288 span.vhdlkeyword {
289         color: #700070
290 }
291
292 span.vhdllogic {
293         color: #ff0000
294 }
295
296 blockquote {
297         background-color: #F9F9F9;
298         border-left: 2px solid #B8B8B8;
299         margin: 0 24px 0 4px;
300         padding: 0 12px 0 16px;
301 }
302
303 /* @end */
304
305 /*
306 .search {
307         color: #003399;
308         font-weight: bold;
309 }
310
311 form.search {
312         margin-bottom: 0px;
313         margin-top: 0px;
314 }
315
316 input.search {
317         font-size: 75%;
318         color: #000080;
319         font-weight: normal;
320         background-color: #e8eef2;
321 }
322 */
323
324 td.tiny {
325         font-size: 75%;
326 }
327
328 .dirtab {
329         padding: 4px;
330         border-collapse: collapse;
331         border: 1px solid #BDBDBD;
332 }
333
334 th.dirtab {
335         background: #F1F1F1;
336         font-weight: bold;
337 }
338
339 hr {
340         height: 0px;
341         border: none;
342         border-top: 1px solid #7A7A7A;
343 }
344
345 hr.footer {
346         height: 1px;
347 }
348
349 /* @group Member Descriptions */
350
351 table.memberdecls {
352         border-spacing: 0px;
353         padding: 0px;
354 }
355
356 .mdescLeft, .mdescRight,
357 .memItemLeft, .memItemRight,
358 .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
359         background-color: #FAFAFA;
360         border: none;
361         margin: 4px;
362         padding: 1px 0 0 8px;
363 }
364
365 .mdescLeft, .mdescRight {
366         padding: 0px 8px 4px 8px;
367         color: #555;
368 }
369
370 .memItemLeft, .memItemRight, .memTemplParams {
371         border-top: 1px solid #D5D5D5;
372 }
373
374 .memItemLeft, .memTemplItemLeft {
375         white-space: nowrap;
376 }
377
378 .memItemRight {
379         width: 100%;
380 }
381
382 .memTemplParams {
383         color: #747474;
384         white-space: nowrap;
385 }
386
387 /* @end */
388
389 /* @group Member Details */
390
391 /* Styles for detailed member documentation */
392
393 .memtemplate {
394         font-size: 80%;
395         color: #747474;
396         font-weight: normal;
397         margin-left: 9px;
398 }
399
400 .memnav {
401         background-color: #F1F1F1;
402         border: 1px solid #BDBDBD;
403         text-align: center;
404         margin: 2px;
405         margin-right: 15px;
406         padding: 2px;
407 }
408
409 .mempage {
410         width: 100%;
411 }
412
413 .memitem {
414         padding: 0;
415         margin-bottom: 10px;
416         margin-right: 5px;
417 }
418
419 .memname {
420         white-space: nowrap;
421         font-weight: bold;
422         margin-left: 6px;
423 }
424
425 .memproto, dl.reflist dt {
426         border-top: 1px solid #C0C0C0;
427         border-left: 1px solid #C0C0C0;
428         border-right: 1px solid #C0C0C0;
429         padding: 6px 0px 6px 0px;
430         color: #3D3D3D;
431         font-weight: bold;
432         text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
433         /* opera specific markup */
434         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
435         border-top-right-radius: 8px;
436         border-top-left-radius: 8px;
437         /* firefox specific markup */
438         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
439         -moz-border-radius-topright: 8px;
440         -moz-border-radius-topleft: 8px;
441         /* webkit specific markup */
442         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
443         -webkit-border-top-right-radius: 8px;
444         -webkit-border-top-left-radius: 8px;
445         background-image:url('nav_f.png');
446         background-repeat:repeat-x;
447         background-color: #EAEAEA;
448
449 }
450
451 .memdoc, dl.reflist dd {
452         border-bottom: 1px solid #C0C0C0;
453         border-left: 1px solid #C0C0C0;
454         border-right: 1px solid #C0C0C0;
455         padding: 2px 5px;
456         background-color: #FCFCFC;
457         border-top-width: 0;
458         /* opera specific markup */
459         border-bottom-left-radius: 8px;
460         border-bottom-right-radius: 8px;
461         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
462         /* firefox specific markup */
463         -moz-border-radius-bottomleft: 8px;
464         -moz-border-radius-bottomright: 8px;
465         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
466         background-image: -moz-linear-gradient(center top, #FFFFFF 0%, #FFFFFF 60%, #F9F9F9 95%, #F2F2F2);
467         /* webkit specific markup */
468         -webkit-border-bottom-left-radius: 8px;
469         -webkit-border-bottom-right-radius: 8px;
470         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
471         background-image: -webkit-gradient(linear,center top,center bottom,from(#FFFFFF), color-stop(0.6,#FFFFFF), color-stop(0.60,#FFFFFF), color-stop(0.95,#F9F9F9), to(#F2F2F2));
472 }
473
474 dl.reflist dt {
475         padding: 5px;
476 }
477
478 dl.reflist dd {
479         margin: 0px 0px 10px 0px;
480         padding: 5px;
481 }
482
483 .paramkey {
484         text-align: right;
485 }
486
487 .paramtype {
488         white-space: nowrap;
489 }
490
491 .paramname {
492         color: #602020;
493         white-space: nowrap;
494 }
495 .paramname em {
496         font-style: normal;
497 }
498
499 .params, .retval, .exception, .tparams {
500         border-spacing: 6px 2px;
501 }
502
503 .params .paramname, .retval .paramname {
504         font-weight: bold;
505         vertical-align: top;
506 }
507
508 .params .paramtype {
509         font-style: italic;
510         vertical-align: top;
511 }
512
513 .params .paramdir {
514         font-family: "courier new",courier,monospace;
515         vertical-align: top;
516 }
517
518
519
520
521 /* @end */
522
523 /* @group Directory (tree) */
524
525 /* for the tree view */
526
527 .ftvtree {
528         font-family: sans-serif;
529         margin: 0px;
530 }
531
532 /* these are for tree view when used as main index */
533
534 .directory {
535         font-size: 9pt;
536         font-weight: bold;
537         margin: 5px;
538 }
539
540 .directory h3 {
541         margin: 0px;
542         margin-top: 1em;
543         font-size: 11pt;
544 }
545
546 /*
547 The following two styles can be used to replace the root node title
548 with an image of your choice.  Simply uncomment the next two styles,
549 specify the name of your image and be sure to set 'height' to the
550 proper pixel height of your image.
551 */
552
553 /*
554 .directory h3.swap {
555         height: 61px;
556         background-repeat: no-repeat;
557         background-image: url("yourimage.gif");
558 }
559 .directory h3.swap span {
560         display: none;
561 }
562 */
563
564 .directory > h3 {
565         margin-top: 0;
566 }
567
568 .directory p {
569         margin: 0px;
570         white-space: nowrap;
571 }
572
573 .directory div {
574         display: none;
575         margin: 0px;
576 }
577
578 .directory img {
579         vertical-align: -30%;
580 }
581
582 /* these are for tree view when not used as main index */
583
584 .directory-alt {
585         font-size: 100%;
586         font-weight: bold;
587 }
588
589 .directory-alt h3 {
590         margin: 0px;
591         margin-top: 1em;
592         font-size: 11pt;
593 }
594
595 .directory-alt > h3 {
596         margin-top: 0;
597 }
598
599 .directory-alt p {
600         margin: 0px;
601         white-space: nowrap;
602 }
603
604 .directory-alt div {
605         display: none;
606         margin: 0px;
607 }
608
609 .directory-alt img {
610         vertical-align: -30%;
611 }
612
613 /* @end */
614
615 div.dynheader {
616         margin-top: 8px;
617 }
618
619 address {
620         font-style: normal;
621         color: #464646;
622 }
623
624 table.doxtable {
625         border-collapse:collapse;
626         margin-top: 4px;
627         margin-bottom: 4px;
628 }
629
630 table.doxtable td, table.doxtable th {
631         border: 1px solid #4A4A4A;
632         padding: 3px 7px 2px;
633 }
634
635 table.doxtable th {
636         background-color: #5B5B5B;
637         color: #FFFFFF;
638         font-size: 110%;
639         padding-bottom: 4px;
640         padding-top: 5px;
641 }
642
643 table.fieldtable {
644         width: 100%;
645         margin-bottom: 10px;
646         border: 1px solid #C0C0C0;
647         border-spacing: 0px;
648         -moz-border-radius: 4px;
649         -webkit-border-radius: 4px;
650         border-radius: 4px;
651         -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
652         -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
653         box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
654 }
655
656 .fieldtable td, .fieldtable th {
657         padding: 3px 7px 2px;
658 }
659
660 .fieldtable td.fieldtype, .fieldtable td.fieldname {
661         white-space: nowrap;
662         border-right: 1px solid #C0C0C0;
663         border-bottom: 1px solid #C0C0C0;
664         vertical-align: top;
665 }
666
667 .fieldtable td.fielddoc {
668         border-bottom: 1px solid #C0C0C0;
669         width: 100%;
670 }
671
672 .fieldtable tr:last-child td {
673         border-bottom: none;
674 }
675
676 .fieldtable th {
677         background-image:url('nav_f.png');
678         background-repeat:repeat-x;
679         background-color: #EAEAEA;
680         font-size: 90%;
681         color: #3D3D3D;
682         padding-bottom: 4px;
683         padding-top: 5px;
684         text-align:left;
685         -moz-border-radius-topleft: 4px;
686         -moz-border-radius-topright: 4px;
687         -webkit-border-top-left-radius: 4px;
688         -webkit-border-top-right-radius: 4px;
689         border-top-left-radius: 4px;
690         border-top-right-radius: 4px;
691         border-bottom: 1px solid #C0C0C0;
692 }
693
694
695 .tabsearch {
696         top: 0px;
697         left: 10px;
698         height: 36px;
699         background-image: url('tab_b.png');
700         z-index: 101;
701         overflow: hidden;
702         font-size: 13px;
703 }
704
705 .navpath ul
706 {
707         font-size: 11px;
708         background-image:url('tab_b.png');
709         background-repeat:repeat-x;
710         height:30px;
711         line-height:30px;
712         color:#ABABAB;
713         border:solid 1px #D3D3D3;
714         overflow:hidden;
715         margin:0px;
716         padding:0px;
717 }
718
719 .navpath li
720 {
721         list-style-type:none;
722         float:left;
723         padding-left:10px;
724         padding-right:15px;
725         background-image:url('bc_s.png');
726         background-repeat:no-repeat;
727         background-position:right;
728         color:#595959;
729 }
730
731 .navpath li.navelem a
732 {
733         height:32px;
734         display:block;
735         text-decoration: none;
736         outline: none;
737 }
738
739 .navpath li.navelem a:hover
740 {
741         color:#929292;
742 }
743
744 .navpath li.footer
745 {
746         list-style-type:none;
747         float:right;
748         padding-left:10px;
749         padding-right:15px;
750         background-image:none;
751         background-repeat:no-repeat;
752         background-position:right;
753         color:#595959;
754         font-size: 8pt;
755 }
756
757
758 div.summary
759 {
760         float: right;
761         font-size: 8pt;
762         padding-right: 5px;
763         width: 50%;
764         text-align: right;
765 }
766
767 div.summary a
768 {
769         white-space: nowrap;
770 }
771
772 div.ingroups
773 {
774         margin-left: 5px;
775         font-size: 8pt;
776         padding-left: 5px;
777         width: 50%;
778         text-align: left;
779 }
780
781 div.ingroups a
782 {
783         white-space: nowrap;
784 }
785
786 div.header
787 {
788         background-image:url('nav_h.png');
789         background-repeat:repeat-x;
790         background-color: #FAFAFA;
791         margin:  0px;
792         border-bottom: 1px solid #D5D5D5;
793 }
794
795 div.headertitle
796 {
797         padding: 5px 5px 5px 7px;
798 }
799
800 dl
801 {
802         padding: 0 0 0 10px;
803 }
804
805 /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */
806 dl.section
807 {
808         border-left:4px solid;
809         padding: 0 0 0 6px;
810 }
811
812 dl.note
813 {
814         border-color: #D0C000;
815 }
816
817 dl.warning, dl.attention
818 {
819         border-color: #FF0000;
820 }
821
822 dl.pre, dl.post, dl.invariant
823 {
824         border-color: #00D000;
825 }
826
827 dl.deprecated
828 {
829         border-color: #505050;
830 }
831
832 dl.todo
833 {
834         border-color: #00C0E0;
835 }
836
837 dl.test
838 {
839         border-color: #3030E0;
840 }
841
842 dl.bug
843 {
844         border-color: #C08050;
845 }
846
847 dl.section dd {
848         margin-bottom: 6px;
849 }
850
851
852 #projectlogo
853 {
854         text-align: center;
855         vertical-align: bottom;
856         border-collapse: separate;
857 }
858
859 #projectlogo img
860 {
861         border: 0px none;
862 }
863
864 #projectname
865 {
866         font: 300% Tahoma, Arial,sans-serif;
867         margin: 0px;
868         padding: 2px 0px;
869 }
870
871 #projectbrief
872 {
873         font: 120% Tahoma, Arial,sans-serif;
874         margin: 0px;
875         padding: 0px;
876 }
877
878 #projectnumber
879 {
880         font: 100% Tahoma, Arial,sans-serif;
881         margin: 0px;
882         padding: 0px;
883 }
884
885 #titlearea
886 {
887         padding: 0px;
888         margin: 0px;
889         width: 100%;
890         border-bottom: 1px solid #848484;
891 }
892
893 .image
894 {
895         text-align: center;
896 }
897
898 .dotgraph
899 {
900         text-align: center;
901 }
902
903 .mscgraph
904 {
905         text-align: center;
906 }
907
908 .caption
909 {
910         font-weight: bold;
911 }
912
913 div.zoom
914 {
915         border: 1px solid #AFAFAF;
916 }
917
918 dl.citelist {
919         margin-bottom:50px;
920 }
921
922 dl.citelist dt {
923         color:#545454;
924         float:left;
925         font-weight:bold;
926         margin-right:10px;
927         padding:5px;
928 }
929
930 dl.citelist dd {
931         margin:2px 0;
932         padding:5px 0;
933 }
934
935 div.toc {
936         padding: 14px 25px;
937         background-color: #F7F7F7;
938         border: 1px solid #E3E3E3;
939         border-radius: 7px 7px 7px 7px;
940         float: right;
941         height: auto;
942         margin: 0 20px 10px 10px;
943         width: 200px;
944 }
945
946 div.toc li {
947         background: url("bdwn.png") no-repeat scroll 0 5px transparent;
948         font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
949         margin-top: 5px;
950         padding-left: 10px;
951         padding-top: 2px;
952 }
953
954 div.toc h3 {
955         font: bold 12px/1.2 Arial,FreeSans,sans-serif;
956         color: #747474;
957         border-bottom: 0 none;
958         margin: 0;
959 }
960
961 div.toc ul {
962         list-style: none outside none;
963         border: medium none;
964         padding: 0px;
965 }
966
967 div.toc li.level1 {
968         margin-left: 0px;
969 }
970
971 div.toc li.level2 {
972         margin-left: 15px;
973 }
974
975 div.toc li.level3 {
976         margin-left: 30px;
977 }
978
979 div.toc li.level4 {
980         margin-left: 45px;
981 }
982
983
984 @media print
985 {
986   #top { display: none; }
987   #side-nav { display: none; }
988   #nav-path { display: none; }
989   body { overflow:visible; }
990   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
991   .summary { display: none; }
992   .memitem { page-break-inside: avoid; }
993   #doc-content
994   {
995     margin-left:0 !important;
996     height:auto !important;
997     width:auto !important;
998     overflow:inherit;
999     display:inline;
1000   }
1001   pre.fragment
1002   {
1003     overflow: visible;
1004     text-wrap: unrestricted;
1005     white-space: -moz-pre-wrap; /* Moz */
1006     white-space: -pre-wrap; /* Opera 4-6 */
1007     white-space: -o-pre-wrap; /* Opera 7 */
1008     white-space: pre-wrap; /* CSS3  */
1009     word-wrap: break-word; /* IE 5.5+ */
1010   }
1011 }