Subversion Repositories Kolibri OS

Rev

Go to most recent revision | Blame | Last modification | View Log | RSS feed

  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. }
  2020.