Merge remote-tracking branch 'qatar/master'
[ffmpeg.git] / doc / doxy / doxy_stylesheet.css
1 /*!
2  * Bootstrap v2.1.1
3  *
4  * Copyright 2012 Twitter, Inc
5  * Licensed under the Apache License v2.0
6  * http://www.apache.org/licenses/LICENSE-2.0
7  *
8  * Designed and built with all the love in the world @twitter by @mdo and @fat.
9  */
10
11 html {
12   font-size: 100%;
13   -webkit-text-size-adjust: 100%;
14   -ms-text-size-adjust: 100%;
15 }
16 a:focus {
17   outline: thin dotted #333;
18   outline: 5px auto -webkit-focus-ring-color;
19   outline-offset: -2px;
20 }
21 a:hover,
22 a:current {
23   outline: 0;
24 }
25 img {
26   /* Responsive images (ensure images don't scale beyond their parents) */
27
28   max-width: 100%;
29   /* Part 1: Set a maxium relative to the parent */
30
31   width: auto\9;
32   /* IE7-8 need help adjusting responsive images */
33
34   height: auto;
35   /* Part 2: Scale the height according to the width, otherwise you get stretching */
36
37   vertical-align: middle;
38   border: 0;
39   -ms-interpolation-mode: bicubic;
40 }
41 body {
42   margin: 0;
43   font-family: sans-serif;
44   font-size: 14px;
45   line-height: 20px;
46   color: #333333;
47   background-color: #ffffff;
48 }
49 a {
50   color: #0088cc;
51   text-decoration: none;
52 }
53 a:hover {
54   color: #005580;
55   text-decoration: underline;
56 }
57 .container {
58   width: 940px;
59 }
60
61 .container {
62   margin-right: auto;
63   margin-left: auto;
64   *zoom: 1;
65 }
66
67 .container:before,
68 .container:after {
69   display: table;
70   content: "";
71   line-height: 0;
72 }
73 .container:after {
74   clear: both;
75 }
76 .container-fluid {
77   padding-right: 20px;
78   padding-left: 20px;
79   *zoom: 1;
80 }
81 small {
82   font-size: 85%;
83 }
84 strong {
85   font-weight: bold;
86 }
87 em {
88   font-style: italic;
89 }
90 cite {
91   font-style: normal;
92 }
93 .text-warning {
94   color: #c09853;
95 }
96 .text-error {
97   color: #b94a48;
98 }
99 .text-info {
100   color: #3a87ad;
101 }
102 .text-success {
103   color: #468847;
104 }
105 h1,
106 h2,
107 h3,
108 h4,
109 h5,
110 h6 {
111   margin: 10px 0;
112   font-family: inherit;
113   font-weight: bold;
114   line-height: 1;
115   color: inherit;
116   text-rendering: optimizelegibility;
117 }
118 h1 small,
119 h2 small,
120 h3 small,
121 h4 small,
122 h5 small,
123 h6 small {
124   font-weight: normal;
125   line-height: 1;
126   color: #999999;
127 }
128 h1 {
129   font-size: 30px;
130   line-height: 40px;
131 }
132 h2 {
133   font-size: 20px;
134   line-height: 40px;
135 }
136 h3 {
137   font-size: 18px;
138   line-height: 40px;
139 }
140 h4 {
141   font-size: 18px;
142   line-height: 20px;
143 }
144 h5 {
145   font-size: 14px;
146   line-height: 20px;
147 }
148 h6 {
149   font-size: 12px;
150   line-height: 20px;
151 }
152 ul,
153 ol {
154   padding: 0;
155   margin: 0 0 10px 25px;
156 }
157 ul ul,
158 ul ol,
159 ol ol,
160 ol ul {
161   margin-bottom: 0;
162 }
163 li {
164   line-height: 20px;
165 }
166 ul.unstyled,
167 ol.unstyled {
168   margin-left: 0;
169   list-style: none;
170 }
171 dl {
172   margin-bottom: 20px;
173 }
174 dt,
175 dd {
176   line-height: 20px;
177 }
178 dt {
179   font-weight: bold;
180 }
181 dd {
182   margin-left: 10px;
183 }
184 blockquote {
185   padding: 0 0 0 15px;
186   margin: 0 0 20px;
187   border-left: 5px solid #eeeeee;
188 }
189 blockquote p {
190   margin-bottom: 0;
191   font-size: 16px;
192   font-weight: 300;
193   line-height: 25px;
194 }
195 blockquote:before,
196 blockquote:after {
197   content: "";
198 }
199 .fragment,
200 code,
201 pre {
202   padding: 0 3px 2px;
203   font-family: monospace;
204   font-size: 12px;
205   color: #333333;
206   -webkit-border-radius: 3px;
207   -moz-border-radius: 3px;
208   border-radius: 3px;
209 }
210 .fragment,
211 code {
212   padding: 2px 4px;
213   color: #d14;
214   background-color: #f7f7f9;
215   border: 1px solid #e1e1e8;
216 }
217 .fragment .line {
218   padding-left: 2em;
219   white-space: pre;
220 }
221 pre {
222   display: block;
223   padding: 9.5px;
224   margin: 0 0 10px;
225   font-size: 13px;
226   line-height: 20px;
227   word-break: break-all;
228   word-wrap: break-word;
229   white-space: pre-wrap;
230   background-color: #f5f5f5;
231   border: 1px solid #ccc;
232   border: 1px solid rgba(0, 0, 0, 0.15);
233   -webkit-border-radius: 4px;
234   -moz-border-radius: 4px;
235   border-radius: 4px;
236 }
237 pre code {
238   padding: 0;
239   color: inherit;
240   background-color: transparent;
241   border: 0;
242 }
243 .label,
244 .badge {
245   font-size: 11.844px;
246   font-weight: bold;
247   line-height: 14px;
248   color: #ffffff;
249   vertical-align: baseline;
250   white-space: nowrap;
251   text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
252   background-color: #999999;
253 }
254 .label {
255   padding: 1px 4px 2px;
256   -webkit-border-radius: 3px;
257   -moz-border-radius: 3px;
258   border-radius: 3px;
259 }
260 .badge {
261   padding: 1px 9px 2px;
262   -webkit-border-radius: 9px;
263   -moz-border-radius: 9px;
264   border-radius: 9px;
265 }
266
267 .label a {
268   color:#ffffff;
269 }
270 a.label:hover,
271 a.badge:hover {
272   color: #ffffff;
273   text-decoration: none;
274   cursor: pointer;
275 }
276 .label-important,
277 .badge-important {
278   background-color: #b94a48;
279 }
280 .label-important[href],
281 .badge-important[href] {
282   background-color: #953b39;
283 }
284 .label-warning,
285 .badge-warning {
286   background-color: #f89406;
287 }
288 .label-warning[href],
289 .badge-warning[href] {
290   background-color: #c67605;
291 }
292 .label-success,
293 .badge-success {
294   background-color: #468847;
295 }
296 .label-success[href],
297 .badge-success[href] {
298   background-color: #356635;
299 }
300 .label-info,
301 .badge-info {
302   background-color: #3a87ad;
303 }
304 .label-info[href],
305 .badge-info[href] {
306   background-color: #2d6987;
307 }
308 .label-inverse,
309 .badge-inverse {
310   background-color: #333333;
311 }
312 .label-inverse[href],
313 .badge-inverse[href] {
314   background-color: #1a1a1a;
315 }
316 table {
317   max-width: 100%;
318   background-color: transparent;
319   border-collapse: collapse;
320   border-spacing: 0;
321 }
322
323 table [class*=span],
324 .row-fluid table [class*=span] {
325   display: table-cell;
326   float: none;
327   margin-left: 0;
328 }
329 fieldset {
330   padding: 0;
331   margin: 0;
332   border: 0;
333 }
334 legend {
335   display: block;
336   width: 100%;
337   padding: 0;
338   margin-bottom: 20px;
339   font-size: 21px;
340   line-height: 40px;
341   color: #333333;
342   border: 0;
343   border-bottom: 1px solid #e5e5e5;
344 }
345 legend small {
346   font-size: 15px;
347   color: #999999;
348 }
349 label,
350 input,
351 button,
352 select,
353 textarea {
354   font-size: 14px;
355   font-weight: normal;
356   line-height: 20px;
357 }
358 input,
359 button,
360 select,
361 textarea {
362   font-family: sans-serif;
363 }
364 label {
365   display: block;
366   margin-bottom: 5px;
367 }
368
369 .tablist {
370   margin-left: 0;
371   margin-bottom: 20px;
372   list-style: none;
373 }
374 .tablist > li > a {
375   display: block;
376 }
377 .tablist > li > a:hover {
378   text-decoration: none;
379   background-color: #eeeeee;
380 }
381 .tablist > .pull-right {
382   float: right;
383 }
384 .tablist-header {
385   display: block;
386   padding: 3px 15px;
387   font-size: 11px;
388   font-weight: bold;
389   line-height: 20px;
390   color: #999999;
391   text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5);
392   text-transform: uppercase;
393 }
394 .tablist li + .tablist-header {
395   margin-top: 9px;
396 }
397 .tablist-list {
398   padding-left: 15px;
399   padding-right: 15px;
400   margin-bottom: 0;
401 }
402 .tablist-list > li > a,
403 .tablist-list .tablist-header {
404   margin-left: -15px;
405   margin-right: -15px;
406   text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5);
407 }
408 .tablist-list > li > a {
409   padding: 3px 15px;
410 }
411 .tablist-list > .current > a,
412 .tablist-list > .current > a:hover {
413   color: #ffffff;
414   text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.2);
415   background-color: #0088cc;
416 }
417 .tablist-list [class^="icon-"] {
418   margin-right: 2px;
419 }
420 .tablist-list .divider {
421   *width: 100%;
422   height: 1px;
423   margin: 9px 1px;
424   *margin: -5px 0 5px;
425   overflow: hidden;
426   background-color: #e5e5e5;
427   border-bottom: 1px solid #ffffff;
428 }
429 .tablist-tabs,
430 .tablist {
431   *zoom: 1;
432 }
433 .tablist-tabs:before,
434 .tablist:before,
435 .tablist-tabs:after,
436 .tablist:after {
437   display: table;
438   content: "";
439   line-height: 0;
440 }
441 .tablist-tabs:after,
442 .tablist:after {
443   clear: both;
444 }
445 .tablist-tabs > li,
446 .tablist > li {
447   float: left;
448 }
449 .tablist-tabs > li > a,
450 .tablist > li > a {
451   padding-right: 12px;
452   padding-left: 12px;
453   margin-right: 2px;
454   line-height: 14px;
455 }
456 .tablist-tabs {
457   border-bottom: 1px solid #ddd;
458 }
459 .tablist-tabs > li {
460   margin-bottom: -1px;
461 }
462 .tablist-tabs > li > a {
463   padding-top: 8px;
464   padding-bottom: 8px;
465   line-height: 20px;
466   border: 1px solid transparent;
467   -webkit-border-radius: 4px 4px 0 0;
468   -moz-border-radius: 4px 4px 0 0;
469   border-radius: 4px 4px 0 0;
470 }
471 .tablist-tabs > li > a:hover {
472   border-color: #eeeeee #eeeeee #dddddd;
473 }
474 .tablist-tabs > .current > a,
475 .tablist-tabs > .current > a:hover {
476   color: #555555;
477   background-color: #ffffff;
478   border: 1px solid #ddd;
479   border-bottom-color: transparent;
480   cursor: default;
481 }
482 .tablist > li > a {
483   padding-top: 8px;
484   padding-bottom: 8px;
485   margin-top: 2px;
486   margin-bottom: 2px;
487   -webkit-border-radius: 5px;
488   -moz-border-radius: 5px;
489   border-radius: 5px;
490 }
491 .tablist > .current > a,
492 .tablist > .current > a:hover {
493   color: #ffffff;
494   background-color: #0088cc;
495 }
496 .tablist-stacked > li {
497   float: none;
498 }
499 .tablist-stacked > li > a {
500   margin-right: 0;
501 }
502 .tablist-tabs.tablist-stacked {
503   border-bottom: 0;
504 }
505 .tablist-tabs.tablist-stacked > li > a {
506   border: 1px solid #ddd;
507   -webkit-border-radius: 0;
508   -moz-border-radius: 0;
509   border-radius: 0;
510 }
511 .tablist-tabs.tablist-stacked > li:first-child > a {
512   -webkit-border-top-right-radius: 4px;
513   -moz-border-radius-topright: 4px;
514   border-top-right-radius: 4px;
515   -webkit-border-top-left-radius: 4px;
516   -moz-border-radius-topleft: 4px;
517   border-top-left-radius: 4px;
518 }
519 .tablist-tabs.tablist-stacked > li:last-child > a {
520   -webkit-border-bottom-right-radius: 4px;
521   -moz-border-radius-bottomright: 4px;
522   border-bottom-right-radius: 4px;
523   -webkit-border-bottom-left-radius: 4px;
524   -moz-border-radius-bottomleft: 4px;
525   border-bottom-left-radius: 4px;
526 }
527 .tablist-tabs.tablist-stacked > li > a:hover {
528   border-color: #ddd;
529   z-index: 2;
530 }
531 .tablist.tablist-stacked > li > a {
532   margin-bottom: 3px;
533 }
534 .tablist.tablist-stacked > li:last-child > a {
535   margin-bottom: 1px;
536 }
537 .tablist-tabs .dropdown-menu {
538   -webkit-border-radius: 0 0 6px 6px;
539   -moz-border-radius: 0 0 6px 6px;
540   border-radius: 0 0 6px 6px;
541 }
542 .tablist .dropdown-menu {
543   -webkit-border-radius: 6px;
544   -moz-border-radius: 6px;
545   border-radius: 6px;
546 }
547 .tablist .dropdown-toggle .caret {
548   border-top-color: #0088cc;
549   border-bottom-color: #0088cc;
550   margin-top: 6px;
551 }
552 .tablist .dropdown-toggle:hover .caret {
553   border-top-color: #005580;
554   border-bottom-color: #005580;
555 }
556 /* move down carets for tabs */
557 .tablist-tabs .dropdown-toggle .caret {
558   margin-top: 8px;
559 }
560 .tablist .current .dropdown-toggle .caret {
561   border-top-color: #fff;
562   border-bottom-color: #fff;
563 }
564 .tablist-tabs .current .dropdown-toggle .caret {
565   border-top-color: #555555;
566   border-bottom-color: #555555;
567 }
568 .tablist > .dropdown.current > a:hover {
569   cursor: pointer;
570 }
571 .tablist-tabs .open .dropdown-toggle,
572 .tablist .open .dropdown-toggle,
573 .tablist > li.dropdown.open.current > a:hover {
574   color: #ffffff;
575   background-color: #999999;
576   border-color: #999999;
577 }
578 .tablist li.dropdown.open .caret,
579 .tablist li.dropdown.open.current .caret,
580 .tablist li.dropdown.open a:hover .caret {
581   border-top-color: #ffffff;
582   border-bottom-color: #ffffff;
583   opacity: 1;
584   filter: alpha(opacity=100);
585 }
586 .tabs-stacked .open > a:hover {
587   border-color: #999999;
588 }
589 .tab-content > .tab-pane,
590 .pill-content > .pill-pane {
591   display: none;
592 }
593 .tab-content > .current,
594 .pill-content > .current {
595   display: block;
596 }
597 .tabs-below > .tablist-tabs {
598   border-top: 1px solid #ddd;
599 }
600 .tabs-below > .tablist-tabs > li {
601   margin-top: -1px;
602   margin-bottom: 0;
603 }
604 .tabs-below > .tablist-tabs > li > a {
605   -webkit-border-radius: 0 0 4px 4px;
606   -moz-border-radius: 0 0 4px 4px;
607   border-radius: 0 0 4px 4px;
608 }
609 .tabs-below > .tablist-tabs > li > a:hover {
610   border-bottom-color: transparent;
611   border-top-color: #ddd;
612 }
613 .tabs-below > .tablist-tabs > .current > a,
614 .tabs-below > .tablist-tabs > .current > a:hover {
615   border-color: transparent #ddd #ddd #ddd;
616 }
617 .tabs-left > .tablist-tabs > li,
618 .tabs-right > .tablist-tabs > li {
619   float: none;
620 }
621 .tabs-left > .tablist-tabs > li > a,
622 .tabs-right > .tablist-tabs > li > a {
623   min-width: 74px;
624   margin-right: 0;
625   margin-bottom: 3px;
626 }
627 .tabs-left > .tablist-tabs {
628   float: left;
629   margin-right: 19px;
630   border-right: 1px solid #ddd;
631 }
632 .tabs-left > .tablist-tabs > li > a {
633   margin-right: -1px;
634   -webkit-border-radius: 4px 0 0 4px;
635   -moz-border-radius: 4px 0 0 4px;
636   border-radius: 4px 0 0 4px;
637 }
638 .tabs-left > .tablist-tabs > li > a:hover {
639   border-color: #eeeeee #dddddd #eeeeee #eeeeee;
640 }
641 .tabs-left > .tablist-tabs .current > a,
642 .tabs-left > .tablist-tabs .current > a:hover {
643   border-color: #ddd transparent #ddd #ddd;
644   *border-right-color: #ffffff;
645 }
646 .tabs-right > .tablist-tabs {
647   float: right;
648   margin-left: 19px;
649   border-left: 1px solid #ddd;
650 }
651 .tabs-right > .tablist-tabs > li > a {
652   margin-left: -1px;
653   -webkit-border-radius: 0 4px 4px 0;
654   -moz-border-radius: 0 4px 4px 0;
655   border-radius: 0 4px 4px 0;
656 }
657 .tabs-right > .tablist-tabs > li > a:hover {
658   border-color: #eeeeee #eeeeee #eeeeee #dddddd;
659 }
660 .tabs-right > .tablist-tabs .current > a,
661 .tabs-right > .tablist-tabs .current > a:hover {
662   border-color: #ddd #ddd #ddd transparent;
663   *border-left-color: #ffffff;
664 }
665 .tablist > .disabled > a {
666   color: #999999;
667 }
668 .tablist > .disabled > a:hover {
669   text-decoration: none;
670   background-color: transparent;
671   cursor: default;
672 }
673 .tablistbar {
674   overflow: visible;
675   margin-bottom: 20px;
676   color: #ffffff;
677   *position: relative;
678   *z-index: 2;
679 }
680 .tablistbar-inner {
681   min-height: 40px;
682   padding-left: 20px;
683   padding-right: 20px;
684   background-color: #034c03;
685   background-image: -moz-linear-gradient(top, #024002, #045f04);
686   background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#024002), to(#045f04));
687   background-image: -webkit-linear-gradient(top, #024002, #045f04);
688   background-image: -o-linear-gradient(top, #024002, #045f04);
689   background-image: linear-gradient(to bottom, #024002, #045f04);
690   background-repeat: repeat-x;
691   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff024002', endColorstr='#ff045f04', GradientType=0);
692   border: 1px solid #022402;
693   -webkit-border-radius: 4px;
694   -moz-border-radius: 4px;
695   border-radius: 4px;
696   -webkit-box-shadow: 0 1px 4px rgba(0, 0, 0, 0.065);
697   -moz-box-shadow: 0 1px 4px rgba(0, 0, 0, 0.065);
698   box-shadow: 0 1px 4px rgba(0, 0, 0, 0.065);
699   *zoom: 1;
700 }
701 .tablistbar-inner:before,
702 .tablistbar-inner:after {
703   display: table;
704   content: "";
705   line-height: 0;
706 }
707 .tablistbar-inner:after {
708   clear: both;
709 }
710 .tablistbar .container {
711   width: auto;
712 }
713 .tablist-collapse.collapse {
714   height: auto;
715 }
716 .tablistbar .brand {
717   float: left;
718   display: block;
719   padding: 10px 20px 10px;
720   margin-left: -20px;
721   font-size: 20px;
722   font-weight: 200;
723   color: #ffffff;
724   text-shadow: 0 1px 0 #024002;
725 }
726 .tablistbar .brand:hover {
727   text-decoration: none;
728 }
729 .tablistbar-text {
730   margin-bottom: 0;
731   line-height: 40px;
732 }
733 .tablistbar-link {
734   color: #ffffff;
735 }
736 .tablistbar-link:hover {
737   color: #333333;
738 }
739 .tablistbar .tablist {
740   position: relative;
741   left: 0;
742   display: block;
743   float: left;
744   margin: 0 10px 0 0;
745 }
746 .tablistbar .tablist.pull-right {
747   float: right;
748   margin-right: 0;
749 }
750 .tablistbar .tablist > li {
751   float: left;
752 }
753 .tablistbar .tablist > li > a {
754   float: none;
755   padding: 10px 15px 10px;
756   color: #ffffff;
757   text-decoration: none;
758   text-shadow: 0 1px 0 #024002;
759 }
760 .tablistbar .tablist .dropdown-toggle .caret {
761   margin-top: 8px;
762 }
763 .tablistbar .tablist > li > a:focus,
764 .tablistbar .tablist > li > a:hover {
765   background-color: transparent;
766   color: white;
767   text-decoration: none;
768 }
769 .tablistbar .tablist > .current > a,
770 .tablistbar .tablist > .current > a:hover,
771 .tablistbar .tablist > .current > a:focus {
772   color: #555555;
773   text-decoration: none;
774   background-color: #034703;
775   -webkit-box-shadow: inset 0 3px 8px rgba(0, 0, 0, 0.125);
776   -moz-box-shadow: inset 0 3px 8px rgba(0, 0, 0, 0.125);
777   box-shadow: inset 0 3px 8px rgba(0, 0, 0, 0.125);
778 }
779 .tablistbar .btn-navbar {
780   display: none;
781   float: right;
782   padding: 7px 10px;
783   margin-left: 5px;
784   margin-right: 5px;
785   color: #ffffff;
786   text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
787   background-color: #023402;
788   background-image: -moz-linear-gradient(top, #012701, #034703);
789   background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#012701), to(#034703));
790   background-image: -webkit-linear-gradient(top, #012701, #034703);
791   background-image: -o-linear-gradient(top, #012701, #034703);
792   background-image: linear-gradient(to bottom, #012701, #034703);
793   background-repeat: repeat-x;
794   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff012701', endColorstr='#ff034703', GradientType=0);
795   border-color: #034703 #034703 #000000;
796   border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
797   *background-color: #034703;
798   /* Darken IE7 buttons by default so they stand out more given they won't have borders */
799
800   filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
801   -webkit-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.075);
802   -moz-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.075);
803   box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.075);
804 }
805 .tablistbar .tablist > li > .dropdown-menu:before {
806   content: '';
807   display: inline-block;
808   border-left: 7px solid transparent;
809   border-right: 7px solid transparent;
810   border-bottom: 7px solid #ccc;
811   border-bottom-color: rgba(0, 0, 0, 0.2);
812   position: absolute;
813   top: -7px;
814   left: 9px;
815 }
816 .tablistbar .tablist > li > .dropdown-menu:after {
817   content: '';
818   display: inline-block;
819   border-left: 6px solid transparent;
820   border-right: 6px solid transparent;
821   border-bottom: 6px solid #ffffff;
822   position: absolute;
823   top: -6px;
824   left: 10px;
825 }
826 .tablistbar .tablist li.dropdown.open > .dropdown-toggle,
827 .tablistbar .tablist li.dropdown.current > .dropdown-toggle,
828 .tablistbar .tablist li.dropdown.open.current > .dropdown-toggle {
829   background-color: #034703;
830   color: #555555;
831 }
832 .tablistbar .tablist li.dropdown > .dropdown-toggle .caret {
833   border-top-color: #ffffff;
834   border-bottom-color: #ffffff;
835 }
836 .tablistbar .tablist li.dropdown.open > .dropdown-toggle .caret,
837 .tablistbar .tablist li.dropdown.current > .dropdown-toggle .caret,
838 .tablistbar .tablist li.dropdown.open.current > .dropdown-toggle .caret {
839   border-top-color: #555555;
840   border-bottom-color: #555555;
841 }
842 .tablistbar .pull-right > li > .dropdown-menu,
843 .tablistbar .tablist > li > .dropdown-menu.pull-right {
844   left: auto;
845   right: 0;
846 }
847 .tablistbar .pull-right > li > .dropdown-menu:before,
848 .tablistbar .tablist > li > .dropdown-menu.pull-right:before {
849   left: auto;
850   right: 12px;
851 }
852 .tablistbar .pull-right > li > .dropdown-menu:after,
853 .tablistbar .tablist > li > .dropdown-menu.pull-right:after {
854   left: auto;
855   right: 13px;
856 }
857 .tablistbar .pull-right > li > .dropdown-menu .dropdown-menu,
858 .tablistbar .tablist > li > .dropdown-menu.pull-right .dropdown-menu {
859   left: auto;
860   right: 100%;
861   margin-left: 0;
862   margin-right: -1px;
863   -webkit-border-radius: 6px 0 6px 6px;
864   -moz-border-radius: 6px 0 6px 6px;
865   border-radius: 6px 0 6px 6px;
866 }
867 .breadcrumb {
868   padding: 8px 15px;
869   margin: 0 0 20px;
870   list-style: none;
871   background-color: #f5f5f5;
872   -webkit-border-radius: 4px;
873   -moz-border-radius: 4px;
874   border-radius: 4px;
875 }
876 .breadcrumb li {
877   display: inline-block;
878   *display: inline;
879   /* IE7 inline-block hack */
880
881   *zoom: 1;
882   text-shadow: 0 1px 0 #ffffff;
883 }
884 .breadcrumb .divider {
885   padding: 0 5px;
886   color: #ccc;
887 }
888 .breadcrumb .current {
889   color: #999999;
890 }
891 .pagination-right {
892   text-align: right;
893 }
894 .fade {
895   opacity: 0;
896   -webkit-transition: opacity 0.15s linear;
897   -moz-transition: opacity 0.15s linear;
898   -o-transition: opacity 0.15s linear;
899   transition: opacity 0.15s linear;
900 }
901 .fade.in {
902   opacity: 1;
903 }
904 .collapse {
905   position: relative;
906   height: 0;
907   overflow: hidden;
908   -webkit-transition: height 0.35s ease;
909   -moz-transition: height 0.35s ease;
910   -o-transition: height 0.35s ease;
911   transition: height 0.35s ease;
912 }
913 .collapse.in {
914   height: auto;
915 }
916 .hidden {
917   display: none;
918   visibility: hidden;
919 }
920 .visible-phone {
921   display: none !important;
922 }
923 .visible-tablet {
924   display: none !important;
925 }
926 .hidden-desktop {
927   display: none !important;
928 }
929 .visible-desktop {
930   display: inherit !important;
931 }
932 @media (min-width: 768px) and (max-width: 979px) {
933   .hidden-desktop {
934     display: inherit !important;
935   }
936   .visible-desktop {
937     display: none !important ;
938   }
939   .visible-tablet {
940     display: inherit !important;
941   }
942   .hidden-tablet {
943     display: none !important;
944   }
945 }
946 @media (max-width: 767px) {
947   .hidden-desktop {
948     display: inherit !important;
949   }
950   .visible-desktop {
951     display: none !important;
952   }
953   .visible-phone {
954     display: inherit !important;
955   }
956   .hidden-phone {
957     display: none !important;
958   }
959 }
960 @media (max-width: 767px) {
961   body {
962     padding-left: 20px;
963     padding-right: 20px;
964   }
965   .container {
966     width: auto;
967   }
968   .row,
969   .thumbnails {
970     margin-left: 0;
971   }
972 }
973 @media (max-width: 480px) {
974   .tablist-collapse {
975     -webkit-transform: translate3d(0, 0, 0);
976   }
977   .page-header h1 small {
978     display: block;
979     line-height: 20px;
980   }
981 }
982 @media (min-width: 768px) and (max-width: 979px) {
983   .row {
984     margin-left: -20px;
985     *zoom: 1;
986   }
987   .row:before,
988   .row:after {
989     display: table;
990     content: "";
991     line-height: 0;
992   }
993   .row:after {
994     clear: both;
995   }
996   [class*="span"] {
997     float: left;
998     min-height: 1px;
999     margin-left: 20px;
1000   }
1001   .container {
1002     width: 724px;
1003   }
1004 }
1005 @media (min-width: 1200px) {
1006   .row {
1007     margin-left: -30px;
1008     *zoom: 1;
1009   }
1010   .row:before,
1011   .row:after {
1012     display: table;
1013     content: "";
1014     line-height: 0;
1015   }
1016   .row:after {
1017     clear: both;
1018   }
1019   [class*="span"] {
1020     float: left;
1021     min-height: 1px;
1022     margin-left: 30px;
1023   }
1024   .container {
1025     width: 1070px;
1026   }
1027 }
1028 @media (max-width: 979px) {
1029   body {
1030     padding-top: 0;
1031   }
1032 }
1033 @media (min-width: 980px) {
1034   .tablist-collapse.collapse {
1035     height: auto !important;
1036     overflow: visible !important;
1037   }
1038 }
1039 .tablistbar .brand {
1040   padding: 5px;
1041   margin-left: 0;
1042 }
1043 .tablistbar .brand img {
1044   width: 30px;
1045   vertical-align: middle;
1046 }
1047
1048 h1 small {
1049   font-size: 18px;
1050 }
1051
1052 h1 small,
1053 h2 small,
1054 h3 small,
1055 h4 small,
1056 h5 small,
1057 h6 small,
1058 .page-header small {
1059   line-height: 0.8;
1060   font-weight: normal;
1061   color: #999999;
1062   display:block;
1063   vertical-align: middle;
1064 }
1065
1066 .page-header h1, h1:first-child {
1067   font-size: 40px;
1068   padding-bottom: 5px;
1069 }
1070
1071 .page-header h1 {
1072   border-bottom: 1px solid #999999;
1073   padding-bottom: 9px;
1074 }
1075
1076 .page-header img {
1077   height: 80px;
1078   padding-bottom: 5px;
1079 }
1080
1081 .page-header small {
1082   line-height: 1.1;
1083   font-size: 18px;
1084 }
1085
1086 h2,
1087 h3,
1088 h4,
1089 div.ah,
1090 .title {
1091   border-color: #D6E9C6;
1092   color: #468847;
1093   border-style: solid;
1094   border-width: 0 0 1px;
1095   padding-left: 0.5em;
1096 }
1097
1098
1099 .google {
1100   color: white;
1101 }
1102
1103 .breadcrumb {
1104   font-size: 11px;
1105   padding-top: 2px;
1106   padding-bottom: 2px;
1107 }
1108
1109 h1 a,
1110 h2 a,
1111 h3 a,
1112 h4 a {
1113   color: inherit;
1114 }
1115
1116 .tablistbar-inner a {
1117   font-weight: bold;
1118 }
1119
1120 .list-2panes:before,
1121 .list-2panes:after {
1122   display: table;
1123   content: "";
1124   line-height: 0;
1125 }
1126
1127 .list-2panes:after {
1128   clear:both;
1129 }
1130
1131 .list-2panes li {
1132   width: 470px;
1133   width: 470px;
1134   float: left;
1135   margin-left: 30px;
1136   min-height: 1px;
1137 }
1138 /* The standard CSS for doxygen */
1139
1140 /* @group Heading Levels */
1141
1142
1143 dt {
1144     font-weight: bold;
1145 }
1146
1147 div.multicol {
1148     -moz-column-gap: 1em;
1149     -webkit-column-gap: 1em;
1150     -moz-column-count: 3;
1151     -webkit-column-count: 3;
1152 }
1153
1154 p.startli, p.startdd, p.starttd {
1155     margin-top: 2px;
1156 }
1157
1158 p.endli {
1159     margin-bottom: 0px;
1160 }
1161
1162 p.enddd {
1163     margin-bottom: 4px;
1164 }
1165
1166 p.endtd {
1167     margin-bottom: 2px;
1168 }
1169
1170 /* @end */
1171
1172 caption {
1173     font-weight: bold;
1174 }
1175
1176 span.legend {
1177         font-size: 70%;
1178         text-align: center;
1179 }
1180
1181 h3.version {
1182         font-size: 90%;
1183         text-align: center;
1184 }
1185
1186 div.qindex, div.tablisttab{
1187     background-color: #EBF6EB;
1188     border: 1px solid #A3D7A3;
1189     text-align: center;
1190 }
1191
1192 div.qindex, div.tablistpath {
1193     width: 100%;
1194     line-height: 140%;
1195 }
1196
1197 div.tablisttab {
1198     margin-right: 15px;
1199 }
1200
1201 /* @group Link Styling */
1202
1203 a {
1204     color: #3D8C3D;
1205     font-weight: normal;
1206     text-decoration: none;
1207 }
1208
1209 .contents a:visited {
1210     color: #46A246;
1211 }
1212
1213 a:hover {
1214     text-decoration: underline;
1215 }
1216
1217 a.qindex {
1218     font-weight: bold;
1219 }
1220
1221 a.qindexHL {
1222     font-weight: bold;
1223     background-color: #9CD49C;
1224     color: #ffffff;
1225     border: 1px double #86CA86;
1226 }
1227
1228 .contents a.qindexHL:visited {
1229         color: #ffffff;
1230 }
1231
1232 a.el {
1233     font-weight: bold;
1234 }
1235
1236 a.elRef {
1237 }
1238
1239 a.code {
1240     color: #4665A2;
1241 }
1242
1243 a.codeRef {
1244     color: #4665A2;
1245 }
1246
1247 /* @end */
1248
1249 dl.el {
1250     margin-left: -1cm;
1251 }
1252
1253 .fragment {
1254     font-family: monospace, fixed;
1255     font-size: 105%;
1256 }
1257
1258 pre.fragment {
1259     border: 1px solid #C4E5C4;
1260     background-color: #FBFDFB;
1261     padding: 4px 6px;
1262     margin: 4px 8px 4px 2px;
1263     overflow: auto;
1264     word-wrap: break-word;
1265     font-size:  9pt;
1266     line-height: 125%;
1267 }
1268
1269 div.groupHeader {
1270     margin-left: 16px;
1271     margin-top: 12px;
1272     font-weight: bold;
1273 }
1274
1275 div.groupText {
1276     margin-left: 16px;
1277     font-style: italic;
1278 }
1279
1280 div.contents {
1281     margin-top: 10px;
1282     margin-left: 8px;
1283     margin-right: 8px;
1284 }
1285
1286 td.indexkey {
1287     white-space: nowrap;
1288     vertical-align: top;
1289 }
1290
1291
1292 tr.memlist {
1293     background-color: #EEF7EE;
1294 }
1295
1296 p.formulaDsp {
1297     text-align: center;
1298 }
1299
1300 img.formulaDsp {
1301
1302 }
1303
1304 img.formulaInl {
1305     vertical-align: middle;
1306 }
1307
1308 div.center {
1309     text-align: center;
1310         margin-top: 0px;
1311         margin-bottom: 0px;
1312         padding: 0px;
1313 }
1314
1315 div.center img {
1316     border: 0px;
1317 }
1318
1319 #footer {
1320     margin: -10px 1em 0;
1321     padding-top: 20px;
1322     text-align: center;
1323     font-size: small;
1324 }
1325
1326 address.footer {
1327     background-color: #ffffff;
1328     text-align: center;
1329 }
1330
1331 img.footer {
1332     border: 0px;
1333     vertical-align: middle;
1334 }
1335
1336 /* @group Code Colorization */
1337
1338 span.keyword {
1339     color: #008000
1340 }
1341
1342 span.keywordtype {
1343     color: #604020
1344 }
1345
1346 span.keywordflow {
1347     color: #e08000
1348 }
1349
1350 span.comment {
1351     color: #800000
1352 }
1353
1354 span.preprocessor {
1355     color: #806020
1356 }
1357
1358 span.stringliteral {
1359     color: #002080
1360 }
1361
1362 span.charliteral {
1363     color: #008080
1364 }
1365
1366 span.vhdldigit {
1367     color: #ff00ff
1368 }
1369
1370 span.vhdlchar {
1371     color: #000000
1372 }
1373
1374 span.vhdlkeyword {
1375     color: #700070
1376 }
1377
1378 span.vhdllogic {
1379     color: #ff0000
1380 }
1381
1382 /* @end */
1383
1384 /*
1385 .search {
1386     color: #003399;
1387     font-weight: bold;
1388 }
1389
1390 form.search {
1391     margin-bottom: 0px;
1392     margin-top: 0px;
1393 }
1394
1395 input.search {
1396     font-size: 75%;
1397     color: #000080;
1398     font-weight: normal;
1399     background-color: #e8eef2;
1400 }
1401 */
1402
1403 td.tiny {
1404     font-size: 75%;
1405 }
1406
1407 .dirtab {
1408     padding: 4px;
1409     border-collapse: collapse;
1410     border: 1px solid #A3D7A3;
1411 }
1412
1413 th.dirtab {
1414     background: #EBF6EB;
1415     font-weight: bold;
1416 }
1417
1418 hr {
1419     height: 0px;
1420     border: none;
1421     border-top: 1px solid #4AAA4A;
1422 }
1423
1424 hr.footer {
1425     height: 1px;
1426 }
1427
1428 /* @group Member Descriptions */
1429
1430 table.memberdecls {
1431     border-spacing: 0px;
1432     padding: 0px;
1433 }
1434
1435 .mdescLeft, .mdescRight,
1436 .memItemLeft, .memItemRight,
1437 .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
1438     background-color: #F9FCF9;
1439     border: none;
1440     margin: 4px;
1441     padding: 1px 0 0 8px;
1442 }
1443
1444 .mdescLeft, .mdescRight {
1445     padding: 0px 8px 4px 8px;
1446     color: #555;
1447 }
1448
1449 .memItemLeft, .memItemRight, .memTemplParams {
1450     border-top: 1px solid #C4E5C4;
1451 }
1452
1453 .memItemLeft, .memTemplItemLeft {
1454         white-space: nowrap;
1455 }
1456
1457 .memItemRight {
1458     width: 100%;
1459 }
1460
1461 .memTemplParams {
1462     color: #46A246;
1463         white-space: nowrap;
1464 }
1465
1466 /* @end */
1467
1468 /* @group Member Details */
1469
1470 /* Styles for detailed member documentation */
1471
1472 .memtemplate {
1473     font-size: 80%;
1474     color: #46A246;
1475     font-weight: normal;
1476     margin-left: 9px;
1477 }
1478
1479 .memnav {
1480     background-color: #EBF6EB;
1481     border: 1px solid #A3D7A3;
1482     text-align: center;
1483     margin: 2px;
1484     margin-right: 15px;
1485     padding: 2px;
1486 }
1487
1488 .mempage {
1489     width: 100%;
1490 }
1491
1492 .memitem {
1493     padding: 0;
1494     margin-bottom: 10px;
1495     margin-right: 5px;
1496 }
1497
1498 .memname {
1499         white-space: nowrap;
1500         font-weight: bold;
1501         margin-left: 6px;
1502 }
1503
1504 .memproto, dl.reflist dt {
1505         border-top: 1px solid #A8D9A8;
1506         border-left: 1px solid #A8D9A8;
1507         border-right: 1px solid #A8D9A8;
1508         padding: 6px 0px 6px 0px;
1509         color: #255525;
1510         font-weight: bold;
1511         text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
1512         /* opera specific markup */
1513         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1514         border-top-right-radius: 8px;
1515         border-top-left-radius: 8px;
1516         /* firefox specific markup */
1517         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
1518         -moz-border-radius-topright: 8px;
1519         -moz-border-radius-topleft: 8px;
1520         /* webkit specific markup */
1521         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1522         -webkit-border-top-right-radius: 8px;
1523         -webkit-border-top-left-radius: 8px;
1524         background-repeat:repeat-x;
1525         background-color: #E2F2E2;
1526
1527 }
1528
1529 .memdoc, dl.reflist dd {
1530         border-bottom: 1px solid #A8D9A8;
1531         border-left: 1px solid #A8D9A8;
1532         border-right: 1px solid #A8D9A8;
1533         padding: 2px 5px;
1534         background-color: #FBFDFB;
1535         border-top-width: 0;
1536         /* opera specific markup */
1537         border-bottom-left-radius: 8px;
1538         border-bottom-right-radius: 8px;
1539         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1540         /* firefox specific markup */
1541         -moz-border-radius-bottomleft: 8px;
1542         -moz-border-radius-bottomright: 8px;
1543         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
1544         background-image: -moz-linear-gradient(center top, #FFFFFF 0%, #FFFFFF 60%, #F7FBF7 95%, #EEF7EE);
1545         /* webkit specific markup */
1546         -webkit-border-bottom-left-radius: 8px;
1547         -webkit-border-bottom-right-radius: 8px;
1548         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1549         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,#F7FBF7), to(#EEF7EE));
1550 }
1551
1552 dl.reflist dt {
1553         padding: 5px;
1554 }
1555
1556 dl.reflist dd {
1557         margin: 0px 0px 10px 0px;
1558         padding: 5px;
1559 }
1560
1561 .paramkey {
1562     text-align: right;
1563 }
1564
1565 .paramtype {
1566     white-space: nowrap;
1567 }
1568
1569 .paramname {
1570     color: #602020;
1571     white-space: nowrap;
1572 }
1573 .paramname em {
1574     font-style: normal;
1575 }
1576
1577 .params, .retval, .exception, .tparams {
1578         border-spacing: 6px 2px;
1579 }
1580
1581 .params .paramname, .retval .paramname {
1582         font-weight: bold;
1583         vertical-align: top;
1584 }
1585
1586 .params .paramtype {
1587         font-style: italic;
1588         vertical-align: top;
1589 }
1590
1591 .params .paramdir {
1592         font-family: "courier new",courier,monospace;
1593         vertical-align: top;
1594 }
1595
1596
1597
1598
1599 /* @end */
1600
1601 /* @group Directory (tree) */
1602
1603 /* for the tree view */
1604
1605 .ftvtree {
1606     font-family: sans-serif;
1607     margin: 0px;
1608 }
1609
1610 /* these are for tree view when used as main index */
1611
1612 .directory {
1613     font-size: 9pt;
1614     font-weight: bold;
1615     margin: 5px;
1616 }
1617
1618 .directory h3 {
1619     margin: 0px;
1620     margin-top: 1em;
1621     font-size: 11pt;
1622 }
1623
1624 /*
1625 The following two styles can be used to replace the root node title
1626 with an image of your choice.  Simply uncomment the next two styles,
1627 specify the name of your image and be sure to set 'height' to the
1628 proper pixel height of your image.
1629 */
1630
1631 /*
1632 .directory h3.swap {
1633     height: 61px;
1634     background-repeat: no-repeat;
1635     background-image: url("yourimage.gif");
1636 }
1637 .directory h3.swap span {
1638     display: none;
1639 }
1640 */
1641
1642 .directory > h3 {
1643     margin-top: 0;
1644 }
1645
1646 .directory p {
1647     margin: 0px;
1648     white-space: nowrap;
1649 }
1650
1651 .directory div {
1652     display: none;
1653     margin: 0px;
1654 }
1655
1656 .directory img {
1657     vertical-align: -30%;
1658 }
1659
1660 /* these are for tree view when not used as main index */
1661
1662 .directory-alt {
1663     font-size: 100%;
1664     font-weight: bold;
1665 }
1666
1667 .directory-alt h3 {
1668     margin: 0px;
1669     margin-top: 1em;
1670     font-size: 11pt;
1671 }
1672
1673 .directory-alt > h3 {
1674     margin-top: 0;
1675 }
1676
1677 .directory-alt p {
1678     margin: 0px;
1679     white-space: nowrap;
1680 }
1681
1682 .directory-alt div {
1683     display: none;
1684     margin: 0px;
1685 }
1686
1687 .directory-alt img {
1688     vertical-align: -30%;
1689 }
1690
1691 /* @end */
1692
1693 div.dynheader {
1694         margin-top: 8px;
1695 }
1696
1697 address {
1698     font-style: normal;
1699     color: #2A612A;
1700 }
1701
1702 table.doxtable {
1703     border-collapse:collapse;
1704 }
1705
1706 table.doxtable td, table.doxtable th {
1707     border: 1px solid #2D682D;
1708     padding: 3px 7px 2px;
1709 }
1710
1711 table.doxtable th {
1712     background-color: #377F37;
1713     color: #FFFFFF;
1714     font-size: 110%;
1715     padding-bottom: 4px;
1716     padding-top: 5px;
1717     text-align:left;
1718 }
1719
1720 table.fieldtable {
1721         width: 100%;
1722         margin-bottom: 10px;
1723         border: 1px solid #A8D9A8;
1724         border-spacing: 0px;
1725         -moz-border-radius: 4px;
1726         -webkit-border-radius: 4px;
1727         border-radius: 4px;
1728         -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
1729         -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
1730         box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
1731 }
1732
1733 .fieldtable td, .fieldtable th {
1734         padding: 3px 7px 2px;
1735 }
1736
1737 .fieldtable td.fieldtype, .fieldtable td.fieldname {
1738         white-space: nowrap;
1739         border-right: 1px solid #A8D9A8;
1740         border-bottom: 1px solid #A8D9A8;
1741         vertical-align: top;
1742 }
1743
1744 .fieldtable td.fielddoc {
1745         border-bottom: 1px solid #A8D9A8;
1746         width: 100%;
1747 }
1748
1749 .fieldtable tr:last-child td {
1750         border-bottom: none;
1751 }
1752
1753 .fieldtable th {
1754         background-repeat:repeat-x;
1755         background-color: #E2F2E2;
1756         font-size: 90%;
1757         color: #255525;
1758         padding-bottom: 4px;
1759         padding-top: 5px;
1760         text-align:left;
1761         -moz-border-radius-topleft: 4px;
1762         -moz-border-radius-topright: 4px;
1763         -webkit-border-top-left-radius: 4px;
1764         -webkit-border-top-right-radius: 4px;
1765         border-top-left-radius: 4px;
1766         border-top-right-radius: 4px;
1767         border-bottom: 1px solid #A8D9A8;
1768 }
1769
1770
1771 .tabsearch {
1772     top: 0px;
1773     left: 10px;
1774     height: 36px;
1775     z-index: 101;
1776     overflow: hidden;
1777     font-size: 13px;
1778 }
1779
1780 .tablistpath ul
1781 {
1782     font-size: 11px;
1783     background-repeat:repeat-x;
1784     height:30px;
1785     line-height:30px;
1786     color:#8ACC8A;
1787     border:solid 1px #C2E4C2;
1788     overflow:hidden;
1789     margin:0px;
1790     padding:0px;
1791 }
1792
1793 .tablistpath li
1794 {
1795     list-style-type:none;
1796     float:left;
1797     padding-left:10px;
1798     padding-right:15px;
1799     background-repeat:no-repeat;
1800     background-position:right;
1801     color:#367C36;
1802 }
1803
1804 .tablistpath li.tablistelem a
1805 {
1806     height:32px;
1807     display:block;
1808     text-decoration: none;
1809     outline: none;
1810 }
1811
1812 .tablistpath li.tablistelem a:hover
1813 {
1814     color:#68BD68;
1815 }
1816
1817 .tablistpath li.footer
1818 {
1819         list-style-type:none;
1820         float:right;
1821         padding-left:10px;
1822         padding-right:15px;
1823         background-image:none;
1824         background-repeat:no-repeat;
1825         background-position:right;
1826         color:#367C36;
1827         font-size: 8pt;
1828 }
1829
1830
1831 div.summary
1832 {
1833     margin-top: 12px;
1834     text-align: center;
1835 }
1836
1837 div.summary a
1838 {
1839     white-space: nowrap;
1840 }
1841
1842 div.ingroups
1843 {
1844     margin-left: 5px;
1845     font-size: 8pt;
1846     padding-left: 5px;
1847     width: 50%;
1848     text-align: left;
1849 }
1850
1851 div.ingroups a
1852 {
1853     white-space: nowrap;
1854 }
1855
1856 div.headertitle
1857 {
1858     padding: 5px 5px 5px 7px;
1859 }
1860
1861 dl
1862 {
1863         padding: 0 0 0 10px;
1864 }
1865
1866 dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug
1867 {
1868         border-left:4px solid;
1869         padding: 0 0 0 6px;
1870 }
1871
1872 dl.note
1873 {
1874         border-color: #D0C000;
1875 }
1876
1877 dl.warning, dl.attention
1878 {
1879         border-color: #FF0000;
1880 }
1881
1882 dl.pre, dl.post, dl.invariant
1883 {
1884         border-color: #00D000;
1885 }
1886
1887 dl.deprecated
1888 {
1889         border-color: #505050;
1890 }
1891
1892 dl.todo
1893 {
1894         border-color: #00C0E0;
1895 }
1896
1897 dl.test
1898 {
1899         border-color: #3030E0;
1900 }
1901
1902 dl.bug
1903 {
1904         border-color: #C08050;
1905 }
1906
1907 #projectlogo
1908 {
1909     text-align: center;
1910     vertical-align: bottom;
1911     border-collapse: separate;
1912 }
1913
1914 #projectlogo img
1915 {
1916     border: 0px none;
1917 }
1918
1919 #projectname
1920 {
1921     font: 300% Tahoma, Arial,sans-serif;
1922     margin: 0px;
1923     padding: 2px 0px;
1924 }
1925
1926 #projectbrief
1927 {
1928     font: 120% Tahoma, Arial,sans-serif;
1929     margin: 0px;
1930     padding: 0px;
1931 }
1932
1933 #projectnumber
1934 {
1935     font: 50% Tahoma, Arial,sans-serif;
1936     margin: 0px;
1937     padding: 0px;
1938 }
1939
1940 #titlearea
1941 {
1942     padding: 0px;
1943     margin: 0px;
1944     width: 100%;
1945     border-bottom: 1px solid #53B453;
1946 }
1947
1948 .image
1949 {
1950         text-align: center;
1951 }
1952
1953 .dotgraph
1954 {
1955         text-align: center;
1956 }
1957
1958 .mscgraph
1959 {
1960         text-align: center;
1961 }
1962
1963 .caption
1964 {
1965     font-weight: bold;
1966 }
1967
1968 div.zoom
1969 {
1970     border: 1px solid #90CE90;
1971 }
1972
1973 dl.citelist {
1974         margin-bottom:50px;
1975 }
1976
1977 dl.citelist dt {
1978         color:#337533;
1979         float:left;
1980         font-weight:bold;
1981         margin-right:10px;
1982         padding:5px;
1983 }
1984
1985 dl.citelist dd {
1986         margin:2px 0;
1987         padding:5px 0;
1988 }
1989
1990 @media print
1991 {
1992   #top { display: none; }
1993   #side-nav { display: none; }
1994   #nav-path { display: none; }
1995   body { overflow:visible; }
1996   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
1997   .summary { display: none; }
1998   .memitem { page-break-inside: avoid; }
1999   #doc-content
2000   {
2001     margin-left:0 !important;
2002     height:auto !important;
2003     width:auto !important;
2004     overflow:inherit;
2005     display:inline;
2006   }
2007   pre.fragment
2008   {
2009     overflow: visible;
2010     text-wrap: unrestricted;
2011     white-space: -moz-pre-wrap; /* Moz */
2012     white-space: -pre-wrap; /* Opera 4-6 */
2013     white-space: -o-pre-wrap; /* Opera 7 */
2014     white-space: pre-wrap; /* CSS3  */
2015     word-wrap: break-word; /* IE 5.5+ */
2016   }
2017 }
2018
2019 #proj_desc {
2020     font-size: 1.2em;
2021 }