Logo AND Algorithmique Numérique Distribuée

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