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