binaries/src/ViennaRNA/doc/html/doxygen.css

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