6 background: rgb
(0, 95, 97);
7 border-bottom: 3px solid rgb
(60, 133, 124);
13 background-image: url
(logos
/logo-banner-light-256
.png
);
14 background-repeat: no-repeat
;
15 background-position: left center
;
19 text-indent: 100%; white-space: nowrap
; overflow: hidden
;
23 color: rgb
(0, 95, 97);
31 vertical-align: middle
;
47 color: rgb
(255, 255, 255);
48 text-decoration: none
;
52 color: rgb
(255, 230, 0);
57 vertical-align: middle
;
68 #search input
[type
=text
] {
69 background: rgb
(230, 230, 230);
77 #search input
[type
=submit
] {
78 background: rgb
(60, 133, 124);
79 color: rgb
(255, 255, 255);
84 #search input
[type
=submit
]:active
,
85 #search input
[type
=submit
]:hover
{
86 color: rgb
(255, 230, 0);
109 body
.hvsupport #content
115 border: 1px solid
#999999;
122 color: rgb
(0, 95, 97);
126 border: 1px solid
#999999;
145 div
.api table td
, div
.variablelist table td
{
150 h1 a
, h2 a
, h3 a
, h4 a
, h5 a
{
152 text-decoration: inherit
;
165 border-collapse: collapse
;
172 background: rgb
(0, 95, 97);
173 color: rgb
(255, 255, 255);
179 text-decoration: inherit
;
182 .top_table td, .top_table th {
183 border: 1px solid rgb
(60, 133, 124);
190 .top_table tr:hover td, .top_table col:hover td {
194 .top_table tr td:hover {
209 border: 0px solid white
;
231 #projects dt
, #projects dd
{
236 #projects #p1 dt
, #projects #p1 dd
{
240 #projects #p2 dt
, #projects #p2 dd
{
244 #projects #p3 dt
, #projects #p3 dd
{
264 text-decoration: inherit
;
284 background: rgb
(230,230,230);
285 border: 2px dotted rgb
(178,178,178);
292 table
.data th
, table
.data td
{
300 table
.data thead th
{
301 background: rgb
(178,178,178);
306 border: 1px solid black
;
307 border-collapse: collapse
;
310 table
.data thead tr th
{
311 border: 1px solid black
;
314 table
.data tr
.head th
{
315 border-left: 1px solid black
;
316 border-right: 1px solid black
;
319 table
.data tbody td
{
320 background: rgb
(240,240,240);
323 table
.data tbody td
.y
{
324 background: rgb
(220,255,220);
327 table
.data tbody td
.n
{
328 background: rgb
(255,220,220);
333 font-family: monospace
;
339 color: darkslateblue
;
353 .api .comment:before {
361 letter-spacing: .3ex;
363 text-transform: uppercase
;
371 .api :link:hover, .api :link:focus {
377 text-decoration: none
;
380 dl
.variablelist
> dt
{
384 font-weight: inherit
;
391 dl
.variablelist
> dt:after
{
398 border: 1px solid
#ccc;
401 table
.acl tr
, table
.acl td
{
403 border: 1px solid
#ccc;
410 div
.description pre
.code
{
411 border: 1px dashed grey
;
412 background-color: inherit
;
413 padding: 5px 10px 5px 10px;
418 text-decoration: none
!important
;
422 h2:hover
> a
.headerlink
,
423 h3:hover
> a
.headerlink
,
424 h4:hover
> a
.headerlink
,
425 h5:hover
> a
.headerlink
,
426 h6:hover
> a
.headerlink
{
434 background: rgb
(230, 230, 230);
442 background: rgb
(0, 95, 97);
443 color: rgb
(255, 255, 255);
449 text-indent: 100%; white-space: nowrap
; overflow: hidden
;
450 background: url
(logos
/logo-banner-dark-800
.png
) no-repeat center center
;
461 border-top: 3px solid rgb
(60, 133, 124);
464 background: rgb
(0, 95, 97);
465 color: rgb
(255, 255, 255);
470 text-decoration: none
;
474 color: rgb
(255, 230, 0);
485 text-decoration: underline
;
488 #contact, #community
{
497 color: rgb
(60, 133, 124);
511 text-decoration: none
;
534 background: rgb
(0, 97, 95);
535 color: rgb
(255, 255, 255);
541 text-decoration: none
;
544 color: rgb
(255, 230, 0);
545 text-decoration: none
;
554 vertical-align: bottom
;
564 background: rgb
(0, 95, 97);
565 border-left: 3px solid rgb
(60, 133, 124);
566 border-bottom: 3px solid rgb
(60, 133, 124);
569 /* Use div.advancedsearch, not #advancedsearch because the
570 * 'advancedsearch' class is set dynamically when javascript
571 * loads. This ensures that the advancedsearch options are
572 * not displayed when javascript is disabled.
574 #search:hover div
.advancedsearch
{
578 #advancedsearch span
{
582 #advancedsearch input
[type
=radio
] {
587 #advancedsearch label
{
595 ul
.news-section-content
{
599 ul
.news-section-content li dl dt
{
603 ul
.news-section-content li dl dd
{
607 margin-bottom: 0.5em;