src/doxygen.css

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