doc/html/doxygen.css

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