ext/OGDF/doc/govisual.css

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