doc/html/doxygen.css

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