doc/doxygen/stylesheet.css

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