doc/html/doxygen.css

   1 /* The standard CSS for doxygen 1.8.3.1 */
   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 #879ECB;
  21         color: #354C7B;
  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: #EBEFF6;
  92         border: 1px solid #A3B4D7;
  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: #3D578C;
 109         font-weight: normal;
 110         text-decoration: none;
 111 }
 112
 113 .contents a:visited {
 114         color: #4665A2;
 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: #9CAFD4;
 128         color: #ffffff;
 129         border: 1px double #869DCA;
 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: #FBFCFD;
 174         border: 1px solid #C4CFE5;
 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: #EBEFF6;
 268         font-weight: bold;
 269         border: 1px solid #C4CFE5;
 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: #EBEFF6;
 278         border: 1px solid #C4CFE5;
 279         padding: 2px 10px;
 280         margin: 2px 0px;
 281 }
 282
 283 tr.memlist {
 284         background-color: #EEF1F7;
 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: #F7F8FB;
 368         border-left: 2px solid #9CAFD4;
 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 #A3B4D7;
 402 }
 403
 404 th.dirtab {
 405         background: #EBEFF6;
 406         font-weight: bold;
 407 }
 408
 409 hr {
 410         height: 0px;
 411         border: none;
 412         border-top: 1px solid #4A6AAA;
 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: #F9FAFC;
 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: #4665A2;
 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: #4665A2;
 488         font-weight: normal;
 489         margin-left: 9px;
 490 }
 491
 492 .memnav {
 493         background-color: #EBEFF6;
 494         border: 1px solid #A3B4D7;
 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 #A8B8D9;
 533         border-left: 1px solid #A8B8D9;
 534         border-right: 1px solid #A8B8D9;
 535         padding: 6px 0px 6px 0px;
 536         color: #253555;
 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: #E2E8F2;
 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 #A8B8D9;
 559         border-left: 1px solid #A8B8D9;
 560         border-right: 1px solid #A8B8D9;
 561         padding: 6px 10px 2px 10px;
 562         background-color: #FBFCFD;
 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: #728DC1;
 650         border-top:1px solid #5373B4;
 651         border-left:1px solid #5373B4;
 652         border-right:1px solid #C4CFE5;
 653         border-bottom:1px solid #C4CFE5;
 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: #F7F8FB;
 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: #3D578C;
 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: #2A3D61;
 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 #2D4068;
 754         padding: 3px 7px 2px;
 755 }
 756
 757 table.doxtable th {
 758         background-color: #374F7F;
 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 #A8B8D9;
 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 #A8B8D9;
 785         border-bottom: 1px solid #A8B8D9;
 786         vertical-align: top;
 787 }
 788
 789 .fieldtable td.fieldname {
 790         padding-top: 5px;
 791 }
 792
 793 .fieldtable td.fielddoc {
 794         border-bottom: 1px solid #A8B8D9;
 795         /*width: 100%;*/
 796 }
 797
 798 .fieldtable td.fielddoc p:first-child {
 799         margin-top: 2px;
 800 }
 801
 802 .fieldtable td.fielddoc p:last-child {
 803         margin-bottom: 2px;
 804 }
 805
 806 .fieldtable tr:last-child td {
 807         border-bottom: none;
 808 }
 809
 810 .fieldtable th {
 811         background-image:url('nav_f.png');
 812         background-repeat:repeat-x;
 813         background-color: #E2E8F2;
 814         font-size: 90%;
 815         color: #253555;
 816         padding-bottom: 4px;
 817         padding-top: 5px;
 818         text-align:left;
 819         -moz-border-radius-topleft: 4px;
 820         -moz-border-radius-topright: 4px;
 821         -webkit-border-top-left-radius: 4px;
 822         -webkit-border-top-right-radius: 4px;
 823         border-top-left-radius: 4px;
 824         border-top-right-radius: 4px;
 825         border-bottom: 1px solid #A8B8D9;
 826 }
 827
 828
 829 .tabsearch {
 830         top: 0px;
 831         left: 10px;
 832         height: 36px;
 833         background-image: url('tab_b.png');
 834         z-index: 101;
 835         overflow: hidden;
 836         font-size: 13px;
 837 }
 838
 839 .navpath ul
 840 {
 841         font-size: 11px;
 842         background-image:url('tab_b.png');
 843         background-repeat:repeat-x;
 844         background-position: 0 -5px;
 845         height:30px;
 846         line-height:30px;
 847         color:#8AA0CC;
 848         border:solid 1px #C2CDE4;
 849         overflow:hidden;
 850         margin:0px;
 851         padding:0px;
 852 }
 853
 854 .navpath li
 855 {
 856         list-style-type:none;
 857         float:left;
 858         padding-left:10px;
 859         padding-right:15px;
 860         background-image:url('bc_s.png');
 861         background-repeat:no-repeat;
 862         background-position:right;
 863         color:#364D7C;
 864 }
 865
 866 .navpath li.navelem a
 867 {
 868         height:32px;
 869         display:block;
 870         text-decoration: none;
 871         outline: none;
 872         color: #283A5D;
 873         font-family: 'Lucida Grande',Geneva,Helvetica,Arial,sans-serif;
 874         text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
 875         text-decoration: none;
 876 }
 877
 878 .navpath li.navelem a:hover
 879 {
 880         color:#6884BD;
 881 }
 882
 883 .navpath li.footer
 884 {
 885         list-style-type:none;
 886         float:right;
 887         padding-left:10px;
 888         padding-right:15px;
 889         background-image:none;
 890         background-repeat:no-repeat;
 891         background-position:right;
 892         color:#364D7C;
 893         font-size: 8pt;
 894 }
 895
 896
 897 div.summary
 898 {
 899         float: right;
 900         font-size: 8pt;
 901         padding-right: 5px;
 902         width: 50%;
 903         text-align: right;
 904 }
 905
 906 div.summary a
 907 {
 908         white-space: nowrap;
 909 }
 910
 911 div.ingroups
 912 {
 913         font-size: 8pt;
 914         width: 50%;
 915         text-align: left;
 916 }
 917
 918 div.ingroups a
 919 {
 920         white-space: nowrap;
 921 }
 922
 923 div.header
 924 {
 925         background-image:url('nav_h.png');
 926         background-repeat:repeat-x;
 927         background-color: #F9FAFC;
 928         margin:  0px;
 929         border-bottom: 1px solid #C4CFE5;
 930 }
 931
 932 div.headertitle
 933 {
 934         padding: 5px 5px 5px 10px;
 935 }
 936
 937 dl
 938 {
 939         padding: 0 0 0 10px;
 940 }
 941
 942 /* dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug */
 943 dl.section
 944 {
 945         margin-left: 0px;
 946         padding-left: 0px;
 947 }
 948
 949 dl.note
 950 {
 951         margin-left:-7px;
 952         padding-left: 3px;
 953         border-left:4px solid;
 954         border-color: #D0C000;
 955 }
 956
 957 dl.warning, dl.attention
 958 {
 959         margin-left:-7px;
 960         padding-left: 3px;
 961         border-left:4px solid;
 962         border-color: #FF0000;
 963 }
 964
 965 dl.pre, dl.post, dl.invariant
 966 {
 967         margin-left:-7px;
 968         padding-left: 3px;
 969         border-left:4px solid;
 970         border-color: #00D000;
 971 }
 972
 973 dl.deprecated
 974 {
 975         margin-left:-7px;
 976         padding-left: 3px;
 977         border-left:4px solid;
 978         border-color: #505050;
 979 }
 980
 981 dl.todo
 982 {
 983         margin-left:-7px;
 984         padding-left: 3px;
 985         border-left:4px solid;
 986         border-color: #00C0E0;
 987 }
 988
 989 dl.test
 990 {
 991         margin-left:-7px;
 992         padding-left: 3px;
 993         border-left:4px solid;
 994         border-color: #3030E0;
 995 }
 996
 997 dl.bug
 998 {
 999         margin-left:-7px;
1000         padding-left: 3px;
1001         border-left:4px solid;
1002         border-color: #C08050;
1003 }
1004
1005 dl.section dd {
1006         margin-bottom: 6px;
1007 }
1008
1009
1010 #projectlogo
1011 {
1012         text-align: center;
1013         vertical-align: bottom;
1014         border-collapse: separate;
1015 }
1016
1017 #projectlogo img
1018 {
1019         border: 0px none;
1020 }
1021
1022 #projectname
1023 {
1024         font: 300% Tahoma, Arial,sans-serif;
1025         margin: 0px;
1026         padding: 2px 0px;
1027 }
1028
1029 #projectbrief
1030 {
1031         font: 120% Tahoma, Arial,sans-serif;
1032         margin: 0px;
1033         padding: 0px;
1034 }
1035
1036 #projectnumber
1037 {
1038         font: 50% Tahoma, Arial,sans-serif;
1039         margin: 0px;
1040         padding: 0px;
1041 }
1042
1043 #titlearea
1044 {
1045         padding: 0px;
1046         margin: 0px;
1047         width: 100%;
1048         border-bottom: 1px solid #5373B4;
1049 }
1050
1051 .image
1052 {
1053         text-align: center;
1054 }
1055
1056 .dotgraph
1057 {
1058         text-align: center;
1059 }
1060
1061 .mscgraph
1062 {
1063         text-align: center;
1064 }
1065
1066 .caption
1067 {
1068         font-weight: bold;
1069 }
1070
1071 div.zoom
1072 {
1073         border: 1px solid #90A5CE;
1074 }
1075
1076 dl.citelist {
1077         margin-bottom:50px;
1078 }
1079
1080 dl.citelist dt {
1081         color:#334975;
1082         float:left;
1083         font-weight:bold;
1084         margin-right:10px;
1085         padding:5px;
1086 }
1087
1088 dl.citelist dd {
1089         margin:2px 0;
1090         padding:5px 0;
1091 }
1092
1093 div.toc {
1094         padding: 14px 25px;
1095         background-color: #F4F6FA;
1096         border: 1px solid #D8DFEE;
1097         border-radius: 7px 7px 7px 7px;
1098         float: right;
1099         height: auto;
1100         margin: 0 20px 10px 10px;
1101         width: 200px;
1102 }
1103
1104 div.toc li {
1105         background: url("bdwn.png") no-repeat scroll 0 5px transparent;
1106         font: 10px/1.2 Verdana,DejaVu Sans,Geneva,sans-serif;
1107         margin-top: 5px;
1108         padding-left: 10px;
1109         padding-top: 2px;
1110 }
1111
1112 div.toc h3 {
1113         font: bold 12px/1.2 Arial,FreeSans,sans-serif;
1114         color: #4665A2;
1115         border-bottom: 0 none;
1116         margin: 0;
1117 }
1118
1119 div.toc ul {
1120         list-style: none outside none;
1121         border: medium none;
1122         padding: 0px;
1123 }
1124
1125 div.toc li.level1 {
1126         margin-left: 0px;
1127 }
1128
1129 div.toc li.level2 {
1130         margin-left: 15px;
1131 }
1132
1133 div.toc li.level3 {
1134         margin-left: 30px;
1135 }
1136
1137 div.toc li.level4 {
1138         margin-left: 45px;
1139 }
1140
1141 .inherit_header {
1142         font-weight: bold;
1143         color: gray;
1144         cursor: pointer;
1145         -webkit-touch-callout: none;
1146         -webkit-user-select: none;
1147         -khtml-user-select: none;
1148         -moz-user-select: none;
1149         -ms-user-select: none;
1150         user-select: none;
1151 }
1152
1153 .inherit_header td {
1154         padding: 6px 0px 2px 5px;
1155 }
1156
1157 .inherit {
1158         display: none;
1159 }
1160
1161 tr.heading h2 {
1162         margin-top: 12px;
1163         margin-bottom: 4px;
1164 }
1165
1166 @media print
1167 {
1168   #top { display: none; }
1169   #side-nav { display: none; }
1170   #nav-path { display: none; }
1171   body { overflow:visible; }
1172   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
1173   .summary { display: none; }
1174   .memitem { page-break-inside: avoid; }
1175   #doc-content
1176   {
1177     margin-left:0 !important;
1178     height:auto !important;
1179     width:auto !important;
1180     overflow:inherit;
1181     display:inline;
1182   }
1183 }
1184