git.sesse.net Git - ffmpeg/blob - doc/doxy/doxy_stylesheet.css

   1 /*!
   2  * Bootstrap v2.1.1
   3  *
   4  * Copyright 2012 Twitter, Inc
   5  * Licensed under the Apache License v2.0
   6  * http://www.apache.org/licenses/LICENSE-2.0
   7  *
   8  * Designed and built with all the love in the world @twitter by @mdo and @fat.
   9  */
  10
  11 html {
  12   font-size: 100%;
  13   -webkit-text-size-adjust: 100%;
  14   -ms-text-size-adjust: 100%;
  15 }
  16 a:focus {
  17   outline: thin dotted #333;
  18   outline: 5px auto -webkit-focus-ring-color;
  19   outline-offset: -2px;
  20 }
  21 a:hover,
  22 a:current {
  23   outline: 0;
  24 }
  25 img {
  26   /* Responsive images (ensure images don't scale beyond their parents) */
  27
  28   max-width: 100%;
  29   /* Part 1: Set a maxium relative to the parent */
  30
  31   width: auto\9;
  32   /* IE7-8 need help adjusting responsive images */
  33
  34   height: auto;
  35   /* Part 2: Scale the height according to the width, otherwise you get stretching */
  36
  37   vertical-align: middle;
  38   border: 0;
  39   -ms-interpolation-mode: bicubic;
  40 }
  41 body {
  42   margin: 0;
  43   font-family: sans-serif;
  44   font-size: 14px;
  45   line-height: 20px;
  46   color: #333333;
  47   background-color: #ffffff;
  48 }
  49 a {
  50   color: #0088cc;
  51   text-decoration: none;
  52 }
  53 a:hover {
  54   color: #005580;
  55   text-decoration: underline;
  56 }
  57 .container {
  58   width: 940px;
  59 }
  60
  61 .container {
  62   margin-right: auto;
  63   margin-left: auto;
  64   *zoom: 1;
  65 }
  66
  67 .container:before,
  68 .container:after {
  69   display: table;
  70   content: "";
  71   line-height: 0;
  72 }
  73 .container:after {
  74   clear: both;
  75 }
  76 .container-fluid {
  77   padding-right: 20px;
  78   padding-left: 20px;
  79   *zoom: 1;
  80 }
  81 small {
  82   font-size: 85%;
  83 }
  84 strong {
  85   font-weight: bold;
  86 }
  87 em {
  88   font-style: italic;
  89 }
  90 cite {
  91   font-style: normal;
  92 }
  93 .text-warning {
  94   color: #c09853;
  95 }
  96 .text-error {
  97   color: #b94a48;
  98 }
  99 .text-info {
 100   color: #3a87ad;
 101 }
 102 .text-success {
 103   color: #468847;
 104 }
 105 h1,
 106 h2,
 107 h3,
 108 h4,
 109 h5,
 110 h6 {
 111   margin: 10px 0;
 112   font-family: inherit;
 113   font-weight: bold;
 114   line-height: 1;
 115   color: inherit;
 116   text-rendering: optimizelegibility;
 117 }
 118 h1 small,
 119 h2 small,
 120 h3 small,
 121 h4 small,
 122 h5 small,
 123 h6 small {
 124   font-weight: normal;
 125   line-height: 1;
 126   color: #999999;
 127 }
 128 h1 {
 129   font-size: 30px;
 130   line-height: 40px;
 131 }
 132 h2 {
 133   font-size: 20px;
 134   line-height: 40px;
 135 }
 136 h3 {
 137   font-size: 18px;
 138   line-height: 40px;
 139 }
 140 h4 {
 141   font-size: 18px;
 142   line-height: 20px;
 143 }
 144 h5 {
 145   font-size: 14px;
 146   line-height: 20px;
 147 }
 148 h6 {
 149   font-size: 12px;
 150   line-height: 20px;
 151 }
 152 ul,
 153 ol {
 154   padding: 0;
 155   margin: 0 0 10px 25px;
 156 }
 157 ul ul,
 158 ul ol,
 159 ol ol,
 160 ol ul {
 161   margin-bottom: 0;
 162 }
 163 li {
 164   line-height: 20px;
 165 }
 166 ul.unstyled,
 167 ol.unstyled {
 168   margin-left: 0;
 169   list-style: none;
 170 }
 171 dl {
 172   margin-bottom: 20px;
 173 }
 174 dt,
 175 dd {
 176   line-height: 20px;
 177 }
 178 dt {
 179   font-weight: bold;
 180 }
 181 dd {
 182   margin-left: 10px;
 183 }
 184 blockquote {
 185   padding: 0 0 0 15px;
 186   margin: 0 0 20px;
 187   border-left: 5px solid #eeeeee;
 188 }
 189 blockquote p {
 190   margin-bottom: 0;
 191   font-size: 16px;
 192   font-weight: 300;
 193   line-height: 25px;
 194 }
 195 blockquote:before,
 196 blockquote:after {
 197   content: "";
 198 }
 199 .fragment,
 200 code,
 201 pre {
 202   padding: 0 3px 2px;
 203   font-family: monospace;
 204   font-size: 12px;
 205   color: #333333;
 206   -webkit-border-radius: 3px;
 207   -moz-border-radius: 3px;
 208   border-radius: 3px;
 209 }
 210 .fragment,
 211 code {
 212   padding: 2px 4px;
 213   color: #d14;
 214   background-color: #f7f7f9;
 215   border: 1px solid #e1e1e8;
 216 }
 217 pre {
 218   display: block;
 219   padding: 9.5px;
 220   margin: 0 0 10px;
 221   font-size: 13px;
 222   line-height: 20px;
 223   word-break: break-all;
 224   word-wrap: break-word;
 225   white-space: pre;
 226   white-space: pre-wrap;
 227   background-color: #f5f5f5;
 228   border: 1px solid #ccc;
 229   border: 1px solid rgba(0, 0, 0, 0.15);
 230   -webkit-border-radius: 4px;
 231   -moz-border-radius: 4px;
 232   border-radius: 4px;
 233 }
 234 pre code {
 235   padding: 0;
 236   color: inherit;
 237   background-color: transparent;
 238   border: 0;
 239 }
 240 .label,
 241 .badge {
 242   font-size: 11.844px;
 243   font-weight: bold;
 244   line-height: 14px;
 245   color: #ffffff;
 246   vertical-align: baseline;
 247   white-space: nowrap;
 248   text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
 249   background-color: #999999;
 250 }
 251 .label {
 252   padding: 1px 4px 2px;
 253   -webkit-border-radius: 3px;
 254   -moz-border-radius: 3px;
 255   border-radius: 3px;
 256 }
 257 .badge {
 258   padding: 1px 9px 2px;
 259   -webkit-border-radius: 9px;
 260   -moz-border-radius: 9px;
 261   border-radius: 9px;
 262 }
 263 a.label:hover,
 264 a.badge:hover {
 265   color: #ffffff;
 266   text-decoration: none;
 267   cursor: pointer;
 268 }
 269 .label-important,
 270 .badge-important {
 271   background-color: #b94a48;
 272 }
 273 .label-important[href],
 274 .badge-important[href] {
 275   background-color: #953b39;
 276 }
 277 .label-warning,
 278 .badge-warning {
 279   background-color: #f89406;
 280 }
 281 .label-warning[href],
 282 .badge-warning[href] {
 283   background-color: #c67605;
 284 }
 285 .label-success,
 286 .badge-success {
 287   background-color: #468847;
 288 }
 289 .label-success[href],
 290 .badge-success[href] {
 291   background-color: #356635;
 292 }
 293 .label-info,
 294 .badge-info {
 295   background-color: #3a87ad;
 296 }
 297 .label-info[href],
 298 .badge-info[href] {
 299   background-color: #2d6987;
 300 }
 301 .label-inverse,
 302 .badge-inverse {
 303   background-color: #333333;
 304 }
 305 .label-inverse[href],
 306 .badge-inverse[href] {
 307   background-color: #1a1a1a;
 308 }
 309 table {
 310   max-width: 100%;
 311   background-color: transparent;
 312   border-collapse: collapse;
 313   border-spacing: 0;
 314 }
 315
 316 table [class*=span],
 317 .row-fluid table [class*=span] {
 318   display: table-cell;
 319   float: none;
 320   margin-left: 0;
 321 }
 322 fieldset {
 323   padding: 0;
 324   margin: 0;
 325   border: 0;
 326 }
 327 legend {
 328   display: block;
 329   width: 100%;
 330   padding: 0;
 331   margin-bottom: 20px;
 332   font-size: 21px;
 333   line-height: 40px;
 334   color: #333333;
 335   border: 0;
 336   border-bottom: 1px solid #e5e5e5;
 337 }
 338 legend small {
 339   font-size: 15px;
 340   color: #999999;
 341 }
 342 label,
 343 input,
 344 button,
 345 select,
 346 textarea {
 347   font-size: 14px;
 348   font-weight: normal;
 349   line-height: 20px;
 350 }
 351 input,
 352 button,
 353 select,
 354 textarea {
 355   font-family: sans-serif;
 356 }
 357 label {
 358   display: block;
 359   margin-bottom: 5px;
 360 }
 361
 362 .tablist {
 363   margin-left: 0;
 364   margin-bottom: 20px;
 365   list-style: none;
 366 }
 367 .tablist > li > a {
 368   display: block;
 369 }
 370 .tablist > li > a:hover {
 371   text-decoration: none;
 372   background-color: #eeeeee;
 373 }
 374 .tablist > .pull-right {
 375   float: right;
 376 }
 377 .tablist-header {
 378   display: block;
 379   padding: 3px 15px;
 380   font-size: 11px;
 381   font-weight: bold;
 382   line-height: 20px;
 383   color: #999999;
 384   text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5);
 385   text-transform: uppercase;
 386 }
 387 .tablist li + .tablist-header {
 388   margin-top: 9px;
 389 }
 390 .tablist-list {
 391   padding-left: 15px;
 392   padding-right: 15px;
 393   margin-bottom: 0;
 394 }
 395 .tablist-list > li > a,
 396 .tablist-list .tablist-header {
 397   margin-left: -15px;
 398   margin-right: -15px;
 399   text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5);
 400 }
 401 .tablist-list > li > a {
 402   padding: 3px 15px;
 403 }
 404 .tablist-list > .current > a,
 405 .tablist-list > .current > a:hover {
 406   color: #ffffff;
 407   text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.2);
 408   background-color: #0088cc;
 409 }
 410 .tablist-list [class^="icon-"] {
 411   margin-right: 2px;
 412 }
 413 .tablist-list .divider {
 414   *width: 100%;
 415   height: 1px;
 416   margin: 9px 1px;
 417   *margin: -5px 0 5px;
 418   overflow: hidden;
 419   background-color: #e5e5e5;
 420   border-bottom: 1px solid #ffffff;
 421 }
 422 .tablist-tabs,
 423 .tablist {
 424   *zoom: 1;
 425 }
 426 .tablist-tabs:before,
 427 .tablist:before,
 428 .tablist-tabs:after,
 429 .tablist:after {
 430   display: table;
 431   content: "";
 432   line-height: 0;
 433 }
 434 .tablist-tabs:after,
 435 .tablist:after {
 436   clear: both;
 437 }
 438 .tablist-tabs > li,
 439 .tablist > li {
 440   float: left;
 441 }
 442 .tablist-tabs > li > a,
 443 .tablist > li > a {
 444   padding-right: 12px;
 445   padding-left: 12px;
 446   margin-right: 2px;
 447   line-height: 14px;
 448 }
 449 .tablist-tabs {
 450   border-bottom: 1px solid #ddd;
 451 }
 452 .tablist-tabs > li {
 453   margin-bottom: -1px;
 454 }
 455 .tablist-tabs > li > a {
 456   padding-top: 8px;
 457   padding-bottom: 8px;
 458   line-height: 20px;
 459   border: 1px solid transparent;
 460   -webkit-border-radius: 4px 4px 0 0;
 461   -moz-border-radius: 4px 4px 0 0;
 462   border-radius: 4px 4px 0 0;
 463 }
 464 .tablist-tabs > li > a:hover {
 465   border-color: #eeeeee #eeeeee #dddddd;
 466 }
 467 .tablist-tabs > .current > a,
 468 .tablist-tabs > .current > a:hover {
 469   color: #555555;
 470   background-color: #ffffff;
 471   border: 1px solid #ddd;
 472   border-bottom-color: transparent;
 473   cursor: default;
 474 }
 475 .tablist > li > a {
 476   padding-top: 8px;
 477   padding-bottom: 8px;
 478   margin-top: 2px;
 479   margin-bottom: 2px;
 480   -webkit-border-radius: 5px;
 481   -moz-border-radius: 5px;
 482   border-radius: 5px;
 483 }
 484 .tablist > .current > a,
 485 .tablist > .current > a:hover {
 486   color: #ffffff;
 487   background-color: #0088cc;
 488 }
 489 .tablist-stacked > li {
 490   float: none;
 491 }
 492 .tablist-stacked > li > a {
 493   margin-right: 0;
 494 }
 495 .tablist-tabs.tablist-stacked {
 496   border-bottom: 0;
 497 }
 498 .tablist-tabs.tablist-stacked > li > a {
 499   border: 1px solid #ddd;
 500   -webkit-border-radius: 0;
 501   -moz-border-radius: 0;
 502   border-radius: 0;
 503 }
 504 .tablist-tabs.tablist-stacked > li:first-child > a {
 505   -webkit-border-top-right-radius: 4px;
 506   -moz-border-radius-topright: 4px;
 507   border-top-right-radius: 4px;
 508   -webkit-border-top-left-radius: 4px;
 509   -moz-border-radius-topleft: 4px;
 510   border-top-left-radius: 4px;
 511 }
 512 .tablist-tabs.tablist-stacked > li:last-child > a {
 513   -webkit-border-bottom-right-radius: 4px;
 514   -moz-border-radius-bottomright: 4px;
 515   border-bottom-right-radius: 4px;
 516   -webkit-border-bottom-left-radius: 4px;
 517   -moz-border-radius-bottomleft: 4px;
 518   border-bottom-left-radius: 4px;
 519 }
 520 .tablist-tabs.tablist-stacked > li > a:hover {
 521   border-color: #ddd;
 522   z-index: 2;
 523 }
 524 .tablist.tablist-stacked > li > a {
 525   margin-bottom: 3px;
 526 }
 527 .tablist.tablist-stacked > li:last-child > a {
 528   margin-bottom: 1px;
 529 }
 530 .tablist-tabs .dropdown-menu {
 531   -webkit-border-radius: 0 0 6px 6px;
 532   -moz-border-radius: 0 0 6px 6px;
 533   border-radius: 0 0 6px 6px;
 534 }
 535 .tablist .dropdown-menu {
 536   -webkit-border-radius: 6px;
 537   -moz-border-radius: 6px;
 538   border-radius: 6px;
 539 }
 540 .tablist .dropdown-toggle .caret {
 541   border-top-color: #0088cc;
 542   border-bottom-color: #0088cc;
 543   margin-top: 6px;
 544 }
 545 .tablist .dropdown-toggle:hover .caret {
 546   border-top-color: #005580;
 547   border-bottom-color: #005580;
 548 }
 549 /* move down carets for tabs */
 550 .tablist-tabs .dropdown-toggle .caret {
 551   margin-top: 8px;
 552 }
 553 .tablist .current .dropdown-toggle .caret {
 554   border-top-color: #fff;
 555   border-bottom-color: #fff;
 556 }
 557 .tablist-tabs .current .dropdown-toggle .caret {
 558   border-top-color: #555555;
 559   border-bottom-color: #555555;
 560 }
 561 .tablist > .dropdown.current > a:hover {
 562   cursor: pointer;
 563 }
 564 .tablist-tabs .open .dropdown-toggle,
 565 .tablist .open .dropdown-toggle,
 566 .tablist > li.dropdown.open.current > a:hover {
 567   color: #ffffff;
 568   background-color: #999999;
 569   border-color: #999999;
 570 }
 571 .tablist li.dropdown.open .caret,
 572 .tablist li.dropdown.open.current .caret,
 573 .tablist li.dropdown.open a:hover .caret {
 574   border-top-color: #ffffff;
 575   border-bottom-color: #ffffff;
 576   opacity: 1;
 577   filter: alpha(opacity=100);
 578 }
 579 .tabs-stacked .open > a:hover {
 580   border-color: #999999;
 581 }
 582 .tab-content > .tab-pane,
 583 .pill-content > .pill-pane {
 584   display: none;
 585 }
 586 .tab-content > .current,
 587 .pill-content > .current {
 588   display: block;
 589 }
 590 .tabs-below > .tablist-tabs {
 591   border-top: 1px solid #ddd;
 592 }
 593 .tabs-below > .tablist-tabs > li {
 594   margin-top: -1px;
 595   margin-bottom: 0;
 596 }
 597 .tabs-below > .tablist-tabs > li > a {
 598   -webkit-border-radius: 0 0 4px 4px;
 599   -moz-border-radius: 0 0 4px 4px;
 600   border-radius: 0 0 4px 4px;
 601 }
 602 .tabs-below > .tablist-tabs > li > a:hover {
 603   border-bottom-color: transparent;
 604   border-top-color: #ddd;
 605 }
 606 .tabs-below > .tablist-tabs > .current > a,
 607 .tabs-below > .tablist-tabs > .current > a:hover {
 608   border-color: transparent #ddd #ddd #ddd;
 609 }
 610 .tabs-left > .tablist-tabs > li,
 611 .tabs-right > .tablist-tabs > li {
 612   float: none;
 613 }
 614 .tabs-left > .tablist-tabs > li > a,
 615 .tabs-right > .tablist-tabs > li > a {
 616   min-width: 74px;
 617   margin-right: 0;
 618   margin-bottom: 3px;
 619 }
 620 .tabs-left > .tablist-tabs {
 621   float: left;
 622   margin-right: 19px;
 623   border-right: 1px solid #ddd;
 624 }
 625 .tabs-left > .tablist-tabs > li > a {
 626   margin-right: -1px;
 627   -webkit-border-radius: 4px 0 0 4px;
 628   -moz-border-radius: 4px 0 0 4px;
 629   border-radius: 4px 0 0 4px;
 630 }
 631 .tabs-left > .tablist-tabs > li > a:hover {
 632   border-color: #eeeeee #dddddd #eeeeee #eeeeee;
 633 }
 634 .tabs-left > .tablist-tabs .current > a,
 635 .tabs-left > .tablist-tabs .current > a:hover {
 636   border-color: #ddd transparent #ddd #ddd;
 637   *border-right-color: #ffffff;
 638 }
 639 .tabs-right > .tablist-tabs {
 640   float: right;
 641   margin-left: 19px;
 642   border-left: 1px solid #ddd;
 643 }
 644 .tabs-right > .tablist-tabs > li > a {
 645   margin-left: -1px;
 646   -webkit-border-radius: 0 4px 4px 0;
 647   -moz-border-radius: 0 4px 4px 0;
 648   border-radius: 0 4px 4px 0;
 649 }
 650 .tabs-right > .tablist-tabs > li > a:hover {
 651   border-color: #eeeeee #eeeeee #eeeeee #dddddd;
 652 }
 653 .tabs-right > .tablist-tabs .current > a,
 654 .tabs-right > .tablist-tabs .current > a:hover {
 655   border-color: #ddd #ddd #ddd transparent;
 656   *border-left-color: #ffffff;
 657 }
 658 .tablist > .disabled > a {
 659   color: #999999;
 660 }
 661 .tablist > .disabled > a:hover {
 662   text-decoration: none;
 663   background-color: transparent;
 664   cursor: default;
 665 }
 666 .tablistbar {
 667   overflow: visible;
 668   margin-bottom: 20px;
 669   color: #ffffff;
 670   *position: relative;
 671   *z-index: 2;
 672 }
 673 .tablistbar-inner {
 674   min-height: 40px;
 675   padding-left: 20px;
 676   padding-right: 20px;
 677   background-color: #034c03;
 678   background-image: -moz-linear-gradient(top, #024002, #045f04);
 679   background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#024002), to(#045f04));
 680   background-image: -webkit-linear-gradient(top, #024002, #045f04);
 681   background-image: -o-linear-gradient(top, #024002, #045f04);
 682   background-image: linear-gradient(to bottom, #024002, #045f04);
 683   background-repeat: repeat-x;
 684   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff024002', endColorstr='#ff045f04', GradientType=0);
 685   border: 1px solid #022402;
 686   -webkit-border-radius: 4px;
 687   -moz-border-radius: 4px;
 688   border-radius: 4px;
 689   -webkit-box-shadow: 0 1px 4px rgba(0, 0, 0, 0.065);
 690   -moz-box-shadow: 0 1px 4px rgba(0, 0, 0, 0.065);
 691   box-shadow: 0 1px 4px rgba(0, 0, 0, 0.065);
 692   *zoom: 1;
 693 }
 694 .tablistbar-inner:before,
 695 .tablistbar-inner:after {
 696   display: table;
 697   content: "";
 698   line-height: 0;
 699 }
 700 .tablistbar-inner:after {
 701   clear: both;
 702 }
 703 .tablistbar .container {
 704   width: auto;
 705 }
 706 .tablist-collapse.collapse {
 707   height: auto;
 708 }
 709 .tablistbar .brand {
 710   float: left;
 711   display: block;
 712   padding: 10px 20px 10px;
 713   margin-left: -20px;
 714   font-size: 20px;
 715   font-weight: 200;
 716   color: #ffffff;
 717   text-shadow: 0 1px 0 #024002;
 718 }
 719 .tablistbar .brand:hover {
 720   text-decoration: none;
 721 }
 722 .tablistbar-text {
 723   margin-bottom: 0;
 724   line-height: 40px;
 725 }
 726 .tablistbar-link {
 727   color: #ffffff;
 728 }
 729 .tablistbar-link:hover {
 730   color: #333333;
 731 }
 732 .tablistbar .tablist {
 733   position: relative;
 734   left: 0;
 735   display: block;
 736   float: left;
 737   margin: 0 10px 0 0;
 738 }
 739 .tablistbar .tablist.pull-right {
 740   float: right;
 741   margin-right: 0;
 742 }
 743 .tablistbar .tablist > li {
 744   float: left;
 745 }
 746 .tablistbar .tablist > li > a {
 747   float: none;
 748   padding: 10px 15px 10px;
 749   color: #ffffff;
 750   text-decoration: none;
 751   text-shadow: 0 1px 0 #024002;
 752 }
 753 .tablistbar .tablist .dropdown-toggle .caret {
 754   margin-top: 8px;
 755 }
 756 .tablistbar .tablist > li > a:focus,
 757 .tablistbar .tablist > li > a:hover {
 758   background-color: transparent;
 759   color: white;
 760   text-decoration: none;
 761 }
 762 .tablistbar .tablist > .current > a,
 763 .tablistbar .tablist > .current > a:hover,
 764 .tablistbar .tablist > .current > a:focus {
 765   color: #555555;
 766   text-decoration: none;
 767   background-color: #034703;
 768   -webkit-box-shadow: inset 0 3px 8px rgba(0, 0, 0, 0.125);
 769   -moz-box-shadow: inset 0 3px 8px rgba(0, 0, 0, 0.125);
 770   box-shadow: inset 0 3px 8px rgba(0, 0, 0, 0.125);
 771 }
 772 .tablistbar .btn-navbar {
 773   display: none;
 774   float: right;
 775   padding: 7px 10px;
 776   margin-left: 5px;
 777   margin-right: 5px;
 778   color: #ffffff;
 779   text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
 780   background-color: #023402;
 781   background-image: -moz-linear-gradient(top, #012701, #034703);
 782   background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#012701), to(#034703));
 783   background-image: -webkit-linear-gradient(top, #012701, #034703);
 784   background-image: -o-linear-gradient(top, #012701, #034703);
 785   background-image: linear-gradient(to bottom, #012701, #034703);
 786   background-repeat: repeat-x;
 787   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff012701', endColorstr='#ff034703', GradientType=0);
 788   border-color: #034703 #034703 #000000;
 789   border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
 790   *background-color: #034703;
 791   /* Darken IE7 buttons by default so they stand out more given they won't have borders */
 792
 793   filter: progid:DXImageTransform.Microsoft.gradient(enabled = false);
 794   -webkit-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.075);
 795   -moz-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.075);
 796   box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.1), 0 1px 0 rgba(255, 255, 255, 0.075);
 797 }
 798 .tablistbar .tablist > li > .dropdown-menu:before {
 799   content: '';
 800   display: inline-block;
 801   border-left: 7px solid transparent;
 802   border-right: 7px solid transparent;
 803   border-bottom: 7px solid #ccc;
 804   border-bottom-color: rgba(0, 0, 0, 0.2);
 805   position: absolute;
 806   top: -7px;
 807   left: 9px;
 808 }
 809 .tablistbar .tablist > li > .dropdown-menu:after {
 810   content: '';
 811   display: inline-block;
 812   border-left: 6px solid transparent;
 813   border-right: 6px solid transparent;
 814   border-bottom: 6px solid #ffffff;
 815   position: absolute;
 816   top: -6px;
 817   left: 10px;
 818 }
 819 .tablistbar .tablist li.dropdown.open > .dropdown-toggle,
 820 .tablistbar .tablist li.dropdown.current > .dropdown-toggle,
 821 .tablistbar .tablist li.dropdown.open.current > .dropdown-toggle {
 822   background-color: #034703;
 823   color: #555555;
 824 }
 825 .tablistbar .tablist li.dropdown > .dropdown-toggle .caret {
 826   border-top-color: #ffffff;
 827   border-bottom-color: #ffffff;
 828 }
 829 .tablistbar .tablist li.dropdown.open > .dropdown-toggle .caret,
 830 .tablistbar .tablist li.dropdown.current > .dropdown-toggle .caret,
 831 .tablistbar .tablist li.dropdown.open.current > .dropdown-toggle .caret {
 832   border-top-color: #555555;
 833   border-bottom-color: #555555;
 834 }
 835 .tablistbar .pull-right > li > .dropdown-menu,
 836 .tablistbar .tablist > li > .dropdown-menu.pull-right {
 837   left: auto;
 838   right: 0;
 839 }
 840 .tablistbar .pull-right > li > .dropdown-menu:before,
 841 .tablistbar .tablist > li > .dropdown-menu.pull-right:before {
 842   left: auto;
 843   right: 12px;
 844 }
 845 .tablistbar .pull-right > li > .dropdown-menu:after,
 846 .tablistbar .tablist > li > .dropdown-menu.pull-right:after {
 847   left: auto;
 848   right: 13px;
 849 }
 850 .tablistbar .pull-right > li > .dropdown-menu .dropdown-menu,
 851 .tablistbar .tablist > li > .dropdown-menu.pull-right .dropdown-menu {
 852   left: auto;
 853   right: 100%;
 854   margin-left: 0;
 855   margin-right: -1px;
 856   -webkit-border-radius: 6px 0 6px 6px;
 857   -moz-border-radius: 6px 0 6px 6px;
 858   border-radius: 6px 0 6px 6px;
 859 }
 860 .breadcrumb {
 861   padding: 8px 15px;
 862   margin: 0 0 20px;
 863   list-style: none;
 864   background-color: #f5f5f5;
 865   -webkit-border-radius: 4px;
 866   -moz-border-radius: 4px;
 867   border-radius: 4px;
 868 }
 869 .breadcrumb li {
 870   display: inline-block;
 871   *display: inline;
 872   /* IE7 inline-block hack */
 873
 874   *zoom: 1;
 875   text-shadow: 0 1px 0 #ffffff;
 876 }
 877 .breadcrumb .divider {
 878   padding: 0 5px;
 879   color: #ccc;
 880 }
 881 .breadcrumb .current {
 882   color: #999999;
 883 }
 884 .pagination-right {
 885   text-align: right;
 886 }
 887 .fade {
 888   opacity: 0;
 889   -webkit-transition: opacity 0.15s linear;
 890   -moz-transition: opacity 0.15s linear;
 891   -o-transition: opacity 0.15s linear;
 892   transition: opacity 0.15s linear;
 893 }
 894 .fade.in {
 895   opacity: 1;
 896 }
 897 .collapse {
 898   position: relative;
 899   height: 0;
 900   overflow: hidden;
 901   -webkit-transition: height 0.35s ease;
 902   -moz-transition: height 0.35s ease;
 903   -o-transition: height 0.35s ease;
 904   transition: height 0.35s ease;
 905 }
 906 .collapse.in {
 907   height: auto;
 908 }
 909 .hidden {
 910   display: none;
 911   visibility: hidden;
 912 }
 913 .visible-phone {
 914   display: none !important;
 915 }
 916 .visible-tablet {
 917   display: none !important;
 918 }
 919 .hidden-desktop {
 920   display: none !important;
 921 }
 922 .visible-desktop {
 923   display: inherit !important;
 924 }
 925 @media (min-width: 768px) and (max-width: 979px) {
 926   .hidden-desktop {
 927     display: inherit !important;
 928   }
 929   .visible-desktop {
 930     display: none !important ;
 931   }
 932   .visible-tablet {
 933     display: inherit !important;
 934   }
 935   .hidden-tablet {
 936     display: none !important;
 937   }
 938 }
 939 @media (max-width: 767px) {
 940   .hidden-desktop {
 941     display: inherit !important;
 942   }
 943   .visible-desktop {
 944     display: none !important;
 945   }
 946   .visible-phone {
 947     display: inherit !important;
 948   }
 949   .hidden-phone {
 950     display: none !important;
 951   }
 952 }
 953 @media (max-width: 767px) {
 954   body {
 955     padding-left: 20px;
 956     padding-right: 20px;
 957   }
 958   .container {
 959     width: auto;
 960   }
 961   .row,
 962   .thumbnails {
 963     margin-left: 0;
 964   }
 965 }
 966 @media (max-width: 480px) {
 967   .tablist-collapse {
 968     -webkit-transform: translate3d(0, 0, 0);
 969   }
 970   .page-header h1 small {
 971     display: block;
 972     line-height: 20px;
 973   }
 974 }
 975 @media (min-width: 768px) and (max-width: 979px) {
 976   .row {
 977     margin-left: -20px;
 978     *zoom: 1;
 979   }
 980   .row:before,
 981   .row:after {
 982     display: table;
 983     content: "";
 984     line-height: 0;
 985   }
 986   .row:after {
 987     clear: both;
 988   }
 989   [class*="span"] {
 990     float: left;
 991     min-height: 1px;
 992     margin-left: 20px;
 993   }
 994   .container {
 995     width: 724px;
 996   }
 997 }
 998 @media (min-width: 1200px) {
 999   .row {
1000     margin-left: -30px;
1001     *zoom: 1;
1002   }
1003   .row:before,
1004   .row:after {
1005     display: table;
1006     content: "";
1007     line-height: 0;
1008   }
1009   .row:after {
1010     clear: both;
1011   }
1012   [class*="span"] {
1013     float: left;
1014     min-height: 1px;
1015     margin-left: 30px;
1016   }
1017   .container {
1018     width: 1070px;
1019   }
1020 }
1021 @media (max-width: 979px) {
1022   body {
1023     padding-top: 0;
1024   }
1025 }
1026 @media (min-width: 980px) {
1027   .tablist-collapse.collapse {
1028     height: auto !important;
1029     overflow: visible !important;
1030   }
1031 }
1032 .tablistbar .brand {
1033   padding: 5px;
1034   margin-left: 0;
1035 }
1036 .tablistbar .brand img {
1037   width: 30px;
1038   vertical-align: middle;
1039 }
1040
1041 h1 small {
1042   font-size: 18px;
1043 }
1044
1045 h1 small,
1046 h2 small,
1047 h3 small,
1048 h4 small,
1049 h5 small,
1050 h6 small,
1051 .page-header small {
1052   line-height: 0.8;
1053   font-weight: normal;
1054   color: #999999;
1055   display:block;
1056   vertical-align: middle;
1057 }
1058
1059 .page-header h1, h1:first-child {
1060   font-size: 40px;
1061   padding-bottom: 5px;
1062 }
1063
1064 .page-header h1 {
1065   border-bottom: 1px solid #999999;
1066   padding-bottom: 9px;
1067 }
1068
1069 .page-header img {
1070   height: 80px;
1071   padding-bottom: 5px;
1072 }
1073
1074 .page-header small {
1075   line-height: 1.1;
1076   font-size: 18px;
1077 }
1078
1079 h2,
1080 h3,
1081 h4,
1082 div.ah,
1083 .title {
1084   border-color: #D6E9C6;
1085   color: #468847;
1086   border-style: solid;
1087   border-width: 0 0 1px;
1088   padding-left: 0.5em;
1089 }
1090
1091
1092 .google {
1093   color: white;
1094 }
1095
1096 .breadcrumb {
1097   font-size: 11px;
1098   padding-top: 2px;
1099   padding-bottom: 2px;
1100 }
1101
1102 h1 a,
1103 h2 a,
1104 h3 a,
1105 h4 a {
1106   color: inherit;
1107 }
1108
1109 .tablistbar-inner a {
1110   font-weight: bold;
1111 }
1112
1113 .list-2panes:before,
1114 .list-2panes:after {
1115   display: table;
1116   content: "";
1117   line-height: 0;
1118 }
1119
1120 .list-2panes:after {
1121   clear:both;
1122 }
1123
1124 .list-2panes li {
1125   width: 470px;
1126   width: 470px;
1127   float: left;
1128   margin-left: 30px;
1129   min-height: 1px;
1130 }
1131 /* The standard CSS for doxygen */
1132
1133 /* @group Heading Levels */
1134
1135
1136 dt {
1137     font-weight: bold;
1138 }
1139
1140 div.multicol {
1141     -moz-column-gap: 1em;
1142     -webkit-column-gap: 1em;
1143     -moz-column-count: 3;
1144     -webkit-column-count: 3;
1145 }
1146
1147 p.startli, p.startdd, p.starttd {
1148     margin-top: 2px;
1149 }
1150
1151 p.endli {
1152     margin-bottom: 0px;
1153 }
1154
1155 p.enddd {
1156     margin-bottom: 4px;
1157 }
1158
1159 p.endtd {
1160     margin-bottom: 2px;
1161 }
1162
1163 /* @end */
1164
1165 caption {
1166     font-weight: bold;
1167 }
1168
1169 span.legend {
1170         font-size: 70%;
1171         text-align: center;
1172 }
1173
1174 h3.version {
1175         font-size: 90%;
1176         text-align: center;
1177 }
1178
1179 div.qindex, div.tablisttab{
1180     background-color: #EBF6EB;
1181     border: 1px solid #A3D7A3;
1182     text-align: center;
1183 }
1184
1185 div.qindex, div.tablistpath {
1186     width: 100%;
1187     line-height: 140%;
1188 }
1189
1190 div.tablisttab {
1191     margin-right: 15px;
1192 }
1193
1194 /* @group Link Styling */
1195
1196 a {
1197     color: #3D8C3D;
1198     font-weight: normal;
1199     text-decoration: none;
1200 }
1201
1202 .contents a:visited {
1203     color: #46A246;
1204 }
1205
1206 a:hover {
1207     text-decoration: underline;
1208 }
1209
1210 a.qindex {
1211     font-weight: bold;
1212 }
1213
1214 a.qindexHL {
1215     font-weight: bold;
1216     background-color: #9CD49C;
1217     color: #ffffff;
1218     border: 1px double #86CA86;
1219 }
1220
1221 .contents a.qindexHL:visited {
1222         color: #ffffff;
1223 }
1224
1225 a.el {
1226     font-weight: bold;
1227 }
1228
1229 a.elRef {
1230 }
1231
1232 a.code {
1233     color: #4665A2;
1234 }
1235
1236 a.codeRef {
1237     color: #4665A2;
1238 }
1239
1240 /* @end */
1241
1242 dl.el {
1243     margin-left: -1cm;
1244 }
1245
1246 .fragment {
1247     font-family: monospace, fixed;
1248     font-size: 105%;
1249 }
1250
1251 pre.fragment {
1252     border: 1px solid #C4E5C4;
1253     background-color: #FBFDFB;
1254     padding: 4px 6px;
1255     margin: 4px 8px 4px 2px;
1256     overflow: auto;
1257     word-wrap: break-word;
1258     font-size:  9pt;
1259     line-height: 125%;
1260 }
1261
1262 div.groupHeader {
1263     margin-left: 16px;
1264     margin-top: 12px;
1265     font-weight: bold;
1266 }
1267
1268 div.groupText {
1269     margin-left: 16px;
1270     font-style: italic;
1271 }
1272
1273 div.contents {
1274     margin-top: 10px;
1275     margin-left: 8px;
1276     margin-right: 8px;
1277 }
1278
1279 td.indexkey {
1280     white-space: nowrap;
1281     vertical-align: top;
1282 }
1283
1284
1285 tr.memlist {
1286     background-color: #EEF7EE;
1287 }
1288
1289 p.formulaDsp {
1290     text-align: center;
1291 }
1292
1293 img.formulaDsp {
1294
1295 }
1296
1297 img.formulaInl {
1298     vertical-align: middle;
1299 }
1300
1301 div.center {
1302     text-align: center;
1303         margin-top: 0px;
1304         margin-bottom: 0px;
1305         padding: 0px;
1306 }
1307
1308 div.center img {
1309     border: 0px;
1310 }
1311
1312 #footer {
1313     margin: -10px 1em 0;
1314     padding-top: 20px;
1315     text-align: center;
1316     font-size: small;
1317 }
1318
1319 address.footer {
1320     background-color: #ffffff;
1321     text-align: center;
1322 }
1323
1324 img.footer {
1325     border: 0px;
1326     vertical-align: middle;
1327 }
1328
1329 /* @group Code Colorization */
1330
1331 span.keyword {
1332     color: #008000
1333 }
1334
1335 span.keywordtype {
1336     color: #604020
1337 }
1338
1339 span.keywordflow {
1340     color: #e08000
1341 }
1342
1343 span.comment {
1344     color: #800000
1345 }
1346
1347 span.preprocessor {
1348     color: #806020
1349 }
1350
1351 span.stringliteral {
1352     color: #002080
1353 }
1354
1355 span.charliteral {
1356     color: #008080
1357 }
1358
1359 span.vhdldigit {
1360     color: #ff00ff
1361 }
1362
1363 span.vhdlchar {
1364     color: #000000
1365 }
1366
1367 span.vhdlkeyword {
1368     color: #700070
1369 }
1370
1371 span.vhdllogic {
1372     color: #ff0000
1373 }
1374
1375 /* @end */
1376
1377 /*
1378 .search {
1379     color: #003399;
1380     font-weight: bold;
1381 }
1382
1383 form.search {
1384     margin-bottom: 0px;
1385     margin-top: 0px;
1386 }
1387
1388 input.search {
1389     font-size: 75%;
1390     color: #000080;
1391     font-weight: normal;
1392     background-color: #e8eef2;
1393 }
1394 */
1395
1396 td.tiny {
1397     font-size: 75%;
1398 }
1399
1400 .dirtab {
1401     padding: 4px;
1402     border-collapse: collapse;
1403     border: 1px solid #A3D7A3;
1404 }
1405
1406 th.dirtab {
1407     background: #EBF6EB;
1408     font-weight: bold;
1409 }
1410
1411 hr {
1412     height: 0px;
1413     border: none;
1414     border-top: 1px solid #4AAA4A;
1415 }
1416
1417 hr.footer {
1418     height: 1px;
1419 }
1420
1421 /* @group Member Descriptions */
1422
1423 table.memberdecls {
1424     border-spacing: 0px;
1425     padding: 0px;
1426 }
1427
1428 .mdescLeft, .mdescRight,
1429 .memItemLeft, .memItemRight,
1430 .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
1431     background-color: #F9FCF9;
1432     border: none;
1433     margin: 4px;
1434     padding: 1px 0 0 8px;
1435 }
1436
1437 .mdescLeft, .mdescRight {
1438     padding: 0px 8px 4px 8px;
1439     color: #555;
1440 }
1441
1442 .memItemLeft, .memItemRight, .memTemplParams {
1443     border-top: 1px solid #C4E5C4;
1444 }
1445
1446 .memItemLeft, .memTemplItemLeft {
1447         white-space: nowrap;
1448 }
1449
1450 .memItemRight {
1451     width: 100%;
1452 }
1453
1454 .memTemplParams {
1455     color: #46A246;
1456         white-space: nowrap;
1457 }
1458
1459 /* @end */
1460
1461 /* @group Member Details */
1462
1463 /* Styles for detailed member documentation */
1464
1465 .memtemplate {
1466     font-size: 80%;
1467     color: #46A246;
1468     font-weight: normal;
1469     margin-left: 9px;
1470 }
1471
1472 .memnav {
1473     background-color: #EBF6EB;
1474     border: 1px solid #A3D7A3;
1475     text-align: center;
1476     margin: 2px;
1477     margin-right: 15px;
1478     padding: 2px;
1479 }
1480
1481 .mempage {
1482     width: 100%;
1483 }
1484
1485 .memitem {
1486     padding: 0;
1487     margin-bottom: 10px;
1488     margin-right: 5px;
1489 }
1490
1491 .memname {
1492         white-space: nowrap;
1493         font-weight: bold;
1494         margin-left: 6px;
1495 }
1496
1497 .memproto, dl.reflist dt {
1498         border-top: 1px solid #A8D9A8;
1499         border-left: 1px solid #A8D9A8;
1500         border-right: 1px solid #A8D9A8;
1501         padding: 6px 0px 6px 0px;
1502         color: #255525;
1503         font-weight: bold;
1504         text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
1505         /* opera specific markup */
1506         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1507         border-top-right-radius: 8px;
1508         border-top-left-radius: 8px;
1509         /* firefox specific markup */
1510         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
1511         -moz-border-radius-topright: 8px;
1512         -moz-border-radius-topleft: 8px;
1513         /* webkit specific markup */
1514         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1515         -webkit-border-top-right-radius: 8px;
1516         -webkit-border-top-left-radius: 8px;
1517         background-image:url('nav_f.png');
1518         background-repeat:repeat-x;
1519         background-color: #E2F2E2;
1520
1521 }
1522
1523 .memdoc, dl.reflist dd {
1524         border-bottom: 1px solid #A8D9A8;
1525         border-left: 1px solid #A8D9A8;
1526         border-right: 1px solid #A8D9A8;
1527         padding: 2px 5px;
1528         background-color: #FBFDFB;
1529         border-top-width: 0;
1530         /* opera specific markup */
1531         border-bottom-left-radius: 8px;
1532         border-bottom-right-radius: 8px;
1533         box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1534         /* firefox specific markup */
1535         -moz-border-radius-bottomleft: 8px;
1536         -moz-border-radius-bottomright: 8px;
1537         -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
1538         background-image: -moz-linear-gradient(center top, #FFFFFF 0%, #FFFFFF 60%, #F7FBF7 95%, #EEF7EE);
1539         /* webkit specific markup */
1540         -webkit-border-bottom-left-radius: 8px;
1541         -webkit-border-bottom-right-radius: 8px;
1542         -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
1543         background-image: -webkit-gradient(linear,center top,center bottom,from(#FFFFFF), color-stop(0.6,#FFFFFF), color-stop(0.60,#FFFFFF), color-stop(0.95,#F7FBF7), to(#EEF7EE));
1544 }
1545
1546 dl.reflist dt {
1547         padding: 5px;
1548 }
1549
1550 dl.reflist dd {
1551         margin: 0px 0px 10px 0px;
1552         padding: 5px;
1553 }
1554
1555 .paramkey {
1556     text-align: right;
1557 }
1558
1559 .paramtype {
1560     white-space: nowrap;
1561 }
1562
1563 .paramname {
1564     color: #602020;
1565     white-space: nowrap;
1566 }
1567 .paramname em {
1568     font-style: normal;
1569 }
1570
1571 .params, .retval, .exception, .tparams {
1572         border-spacing: 6px 2px;
1573 }
1574
1575 .params .paramname, .retval .paramname {
1576         font-weight: bold;
1577         vertical-align: top;
1578 }
1579
1580 .params .paramtype {
1581         font-style: italic;
1582         vertical-align: top;
1583 }
1584
1585 .params .paramdir {
1586         font-family: "courier new",courier,monospace;
1587         vertical-align: top;
1588 }
1589
1590
1591
1592
1593 /* @end */
1594
1595 /* @group Directory (tree) */
1596
1597 /* for the tree view */
1598
1599 .ftvtree {
1600     font-family: sans-serif;
1601     margin: 0px;
1602 }
1603
1604 /* these are for tree view when used as main index */
1605
1606 .directory {
1607     font-size: 9pt;
1608     font-weight: bold;
1609     margin: 5px;
1610 }
1611
1612 .directory h3 {
1613     margin: 0px;
1614     margin-top: 1em;
1615     font-size: 11pt;
1616 }
1617
1618 /*
1619 The following two styles can be used to replace the root node title
1620 with an image of your choice.  Simply uncomment the next two styles,
1621 specify the name of your image and be sure to set 'height' to the
1622 proper pixel height of your image.
1623 */
1624
1625 /*
1626 .directory h3.swap {
1627     height: 61px;
1628     background-repeat: no-repeat;
1629     background-image: url("yourimage.gif");
1630 }
1631 .directory h3.swap span {
1632     display: none;
1633 }
1634 */
1635
1636 .directory > h3 {
1637     margin-top: 0;
1638 }
1639
1640 .directory p {
1641     margin: 0px;
1642     white-space: nowrap;
1643 }
1644
1645 .directory div {
1646     display: none;
1647     margin: 0px;
1648 }
1649
1650 .directory img {
1651     vertical-align: -30%;
1652 }
1653
1654 /* these are for tree view when not used as main index */
1655
1656 .directory-alt {
1657     font-size: 100%;
1658     font-weight: bold;
1659 }
1660
1661 .directory-alt h3 {
1662     margin: 0px;
1663     margin-top: 1em;
1664     font-size: 11pt;
1665 }
1666
1667 .directory-alt > h3 {
1668     margin-top: 0;
1669 }
1670
1671 .directory-alt p {
1672     margin: 0px;
1673     white-space: nowrap;
1674 }
1675
1676 .directory-alt div {
1677     display: none;
1678     margin: 0px;
1679 }
1680
1681 .directory-alt img {
1682     vertical-align: -30%;
1683 }
1684
1685 /* @end */
1686
1687 div.dynheader {
1688         margin-top: 8px;
1689 }
1690
1691 address {
1692     font-style: normal;
1693     color: #2A612A;
1694 }
1695
1696 table.doxtable {
1697     border-collapse:collapse;
1698 }
1699
1700 table.doxtable td, table.doxtable th {
1701     border: 1px solid #2D682D;
1702     padding: 3px 7px 2px;
1703 }
1704
1705 table.doxtable th {
1706     background-color: #377F37;
1707     color: #FFFFFF;
1708     font-size: 110%;
1709     padding-bottom: 4px;
1710     padding-top: 5px;
1711     text-align:left;
1712 }
1713
1714 table.fieldtable {
1715         width: 100%;
1716         margin-bottom: 10px;
1717         border: 1px solid #A8D9A8;
1718         border-spacing: 0px;
1719         -moz-border-radius: 4px;
1720         -webkit-border-radius: 4px;
1721         border-radius: 4px;
1722         -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px;
1723         -webkit-box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
1724         box-shadow: 2px 2px 2px rgba(0, 0, 0, 0.15);
1725 }
1726
1727 .fieldtable td, .fieldtable th {
1728         padding: 3px 7px 2px;
1729 }
1730
1731 .fieldtable td.fieldtype, .fieldtable td.fieldname {
1732         white-space: nowrap;
1733         border-right: 1px solid #A8D9A8;
1734         border-bottom: 1px solid #A8D9A8;
1735         vertical-align: top;
1736 }
1737
1738 .fieldtable td.fielddoc {
1739         border-bottom: 1px solid #A8D9A8;
1740         width: 100%;
1741 }
1742
1743 .fieldtable tr:last-child td {
1744         border-bottom: none;
1745 }
1746
1747 .fieldtable th {
1748         background-image:url('nav_f.png');
1749         background-repeat:repeat-x;
1750         background-color: #E2F2E2;
1751         font-size: 90%;
1752         color: #255525;
1753         padding-bottom: 4px;
1754         padding-top: 5px;
1755         text-align:left;
1756         -moz-border-radius-topleft: 4px;
1757         -moz-border-radius-topright: 4px;
1758         -webkit-border-top-left-radius: 4px;
1759         -webkit-border-top-right-radius: 4px;
1760         border-top-left-radius: 4px;
1761         border-top-right-radius: 4px;
1762         border-bottom: 1px solid #A8D9A8;
1763 }
1764
1765
1766 .tabsearch {
1767     top: 0px;
1768     left: 10px;
1769     height: 36px;
1770     background-image: url('tab_b.png');
1771     z-index: 101;
1772     overflow: hidden;
1773     font-size: 13px;
1774 }
1775
1776 .tablistpath ul
1777 {
1778     font-size: 11px;
1779     background-image:url('tab_b.png');
1780     background-repeat:repeat-x;
1781     height:30px;
1782     line-height:30px;
1783     color:#8ACC8A;
1784     border:solid 1px #C2E4C2;
1785     overflow:hidden;
1786     margin:0px;
1787     padding:0px;
1788 }
1789
1790 .tablistpath li
1791 {
1792     list-style-type:none;
1793     float:left;
1794     padding-left:10px;
1795     padding-right:15px;
1796     background-image:url('bc_s.png');
1797     background-repeat:no-repeat;
1798     background-position:right;
1799     color:#367C36;
1800 }
1801
1802 .tablistpath li.tablistelem a
1803 {
1804     height:32px;
1805     display:block;
1806     text-decoration: none;
1807     outline: none;
1808 }
1809
1810 .tablistpath li.tablistelem a:hover
1811 {
1812     color:#68BD68;
1813 }
1814
1815 .tablistpath li.footer
1816 {
1817         list-style-type:none;
1818         float:right;
1819         padding-left:10px;
1820         padding-right:15px;
1821         background-image:none;
1822         background-repeat:no-repeat;
1823         background-position:right;
1824         color:#367C36;
1825         font-size: 8pt;
1826 }
1827
1828
1829 div.summary
1830 {
1831     margin-top: 12px;
1832     text-align: center;
1833 }
1834
1835 div.summary a
1836 {
1837     white-space: nowrap;
1838 }
1839
1840 div.ingroups
1841 {
1842     margin-left: 5px;
1843     font-size: 8pt;
1844     padding-left: 5px;
1845     width: 50%;
1846     text-align: left;
1847 }
1848
1849 div.ingroups a
1850 {
1851     white-space: nowrap;
1852 }
1853
1854 div.headertitle
1855 {
1856     padding: 5px 5px 5px 7px;
1857 }
1858
1859 dl
1860 {
1861         padding: 0 0 0 10px;
1862 }
1863
1864 dl.note, dl.warning, dl.attention, dl.pre, dl.post, dl.invariant, dl.deprecated, dl.todo, dl.test, dl.bug
1865 {
1866         border-left:4px solid;
1867         padding: 0 0 0 6px;
1868 }
1869
1870 dl.note
1871 {
1872         border-color: #D0C000;
1873 }
1874
1875 dl.warning, dl.attention
1876 {
1877         border-color: #FF0000;
1878 }
1879
1880 dl.pre, dl.post, dl.invariant
1881 {
1882         border-color: #00D000;
1883 }
1884
1885 dl.deprecated
1886 {
1887         border-color: #505050;
1888 }
1889
1890 dl.todo
1891 {
1892         border-color: #00C0E0;
1893 }
1894
1895 dl.test
1896 {
1897         border-color: #3030E0;
1898 }
1899
1900 dl.bug
1901 {
1902         border-color: #C08050;
1903 }
1904
1905 #projectlogo
1906 {
1907     text-align: center;
1908     vertical-align: bottom;
1909     border-collapse: separate;
1910 }
1911
1912 #projectlogo img
1913 {
1914     border: 0px none;
1915 }
1916
1917 #projectname
1918 {
1919     font: 300% Tahoma, Arial,sans-serif;
1920     margin: 0px;
1921     padding: 2px 0px;
1922 }
1923
1924 #projectbrief
1925 {
1926     font: 120% Tahoma, Arial,sans-serif;
1927     margin: 0px;
1928     padding: 0px;
1929 }
1930
1931 #projectnumber
1932 {
1933     font: 50% Tahoma, Arial,sans-serif;
1934     margin: 0px;
1935     padding: 0px;
1936 }
1937
1938 #titlearea
1939 {
1940     padding: 0px;
1941     margin: 0px;
1942     width: 100%;
1943     border-bottom: 1px solid #53B453;
1944 }
1945
1946 .image
1947 {
1948         text-align: center;
1949 }
1950
1951 .dotgraph
1952 {
1953         text-align: center;
1954 }
1955
1956 .mscgraph
1957 {
1958         text-align: center;
1959 }
1960
1961 .caption
1962 {
1963     font-weight: bold;
1964 }
1965
1966 div.zoom
1967 {
1968     border: 1px solid #90CE90;
1969 }
1970
1971 dl.citelist {
1972         margin-bottom:50px;
1973 }
1974
1975 dl.citelist dt {
1976         color:#337533;
1977         float:left;
1978         font-weight:bold;
1979         margin-right:10px;
1980         padding:5px;
1981 }
1982
1983 dl.citelist dd {
1984         margin:2px 0;
1985         padding:5px 0;
1986 }
1987
1988 @media print
1989 {
1990   #top { display: none; }
1991   #side-nav { display: none; }
1992   #nav-path { display: none; }
1993   body { overflow:visible; }
1994   h1, h2, h3, h4, h5, h6 { page-break-after: avoid; }
1995   .summary { display: none; }
1996   .memitem { page-break-inside: avoid; }
1997   #doc-content
1998   {
1999     margin-left:0 !important;
2000     height:auto !important;
2001     width:auto !important;
2002     overflow:inherit;
2003     display:inline;
2004   }
2005   pre.fragment
2006   {
2007     overflow: visible;
2008     text-wrap: unrestricted;
2009     white-space: -moz-pre-wrap; /* Moz */
2010     white-space: -pre-wrap; /* Opera 4-6 */
2011     white-space: -o-pre-wrap; /* Opera 7 */
2012     white-space: pre-wrap; /* CSS3  */
2013     word-wrap: break-word; /* IE 5.5+ */
2014   }
2015 }
2016
2017 #proj_desc {
2018     font-size: 1.2em;
2019 }