/* ::::: https://www.w3.org/StyleSheets/status.css ::::: */

/* ::::: https://www.w3.org/QA/2006/01/blogstyle.css ::::: */

html { background-color: white; }
body { margin: auto; padding-left: 6%; padding-right: 6%; color: rgb(51, 68, 74); font-family: "Trebuchet MS","Gill Sans","Gill Sans MT",sans-serif; font-size: 1em; background: rgb(73, 94, 105) none repeat scroll 0% 0%; line-height: 120%; }
#banner { background-color: white; background-image: url('header.png'); background-repeat: no-repeat; background-attachment: scroll; background-position: right top; padding: 0px 0px 0px 15px; height: 50px; margin-bottom: 0px; border-width: 0px 1px; border-style: none solid; border-color: -moz-use-text-color rgb(40, 52, 59); }
#banner h1 { height: 50px; vertical-align: middle; font-size: 1.5em; display: inline; }
#banner h1 a:link, #banner h1 a:hover, #banner h1 a:active, #banner h1 a:visited { text-decoration: none; }
#main { border-width: 0px 1px; border-style: none solid; border-color: -moz-use-text-color rgb(40, 52, 59); background-color: white; }
#main, address { margin: 0px; padding: 0px 0px 1px; }
address { font-size: 0.85em; background-color: rgb(21, 86, 144); color: rgb(255, 255, 255); padding-top: 10px; padding-bottom: 10px; padding-right: 25px; border-width: 0px 1px 1px; border-style: none solid solid; border-color: -moz-use-text-color rgb(40, 52, 59) rgb(40, 52, 59); clear: both; text-align: right; }
address a { background-color: rgb(21, 86, 144); color: rgb(255, 255, 255) ! important; font-weight: bold; }
h1 { color: rgb(21, 86, 144); font-size: 1.2em; font-family: "Bitstream Vera Sans",Helvetica,Arial,sans-serif; font-weight: bold; font-style: normal; text-decoration: none; }
h2 { color: rgb(51, 68, 74); background: white none repeat scroll 0% 0%; padding: 5px 15px; margin-top: 0px; margin-bottom: 10px; font-size: 1.1em; text-decoration: none; font-family: "Gill Sans","Gill Sans MT","Trebuchet MS",sans-serif; font-weight: bold; }
h3 { color: rgb(51, 68, 74); font-weight: bold; font-size: 0.9em; padding: 5px 15px 0px; border-top: 1px solid rgb(217, 226, 200); text-decoration: none; font-family: "Gill Sans","Gill Sans MT","Trebuchet MS",sans-serif; }
hr::before { content: "* * *"; display: block; text-align: center; }
a:link, a:visited { color: rgb(0, 90, 156); text-decoration: underline; }
a:hover, a:active { color: rgb(0, 66, 140); text-decoration: underline; }
h2 a:link, h2 a:visited { color: rgb(51, 68, 74); text-decoration: none; }
h2 a:hover, h2 a:active { color: rgb(51, 68, 74); }
p, dt { margin-left: 15px; margin-right: 25px; }
dd { margin-left: 35px; margin-right: 25px; }
li { margin-right: 25px; }
img { margin: 0px; padding: 0px; vertical-align: middle; border: 0px none; }
acronym:hover, abbr:hover { cursor: help; }
abbr[title], acronym[title], span[title], strong[title] { border-bottom: thin dotted; cursor: help; }
pre, code, tt { font-family: "Courier New",Courier,monospace; line-height: 1.2em; white-space: pre-wrap; }
a:link img, a:visited img { border-style: none; }
a img { color: black; }
p.copyright { margin: 0px; font-size: small; text-align: justify; text-transform: uppercase; font-family: "Bitstream Vera Sans Mono",monospace; color: white; line-height: 120%; padding: 1em; clear: both; }
p.copyright a { color: white; font-weight: bold; text-decoration: none; }
#jumpbar { background-color: white; float: right; width: 33%; margin-right: 0px; text-align: left; text-decoration: none; padding: 0px 0px 1em; border-bottom: 1px solid rgb(178, 239, 60); font-size: 0.9em; font-weight: normal; margin-left: 1em; z-index: 3; clear: right; }
#jumpbar h2 { background-color: rgb(255, 255, 255); margin-top: 0px; font-size: 1em; text-align: left; border-bottom: 1px solid rgb(178, 239, 60); }
#jumpbar h3 { border-top: 0px none ! important; margin: 5px 0px; }
#jumpbar ul { padding: 0px; margin: 0px 0.5em 0px 15px; }
#jumpbar li { list-style-type: none; background: transparent url('bullet.gif') no-repeat scroll 0px 2px; padding-left: 8px; font-size: 0.9em; }
#menu { background-color: rgb(0, 90, 156); color: white; margin: 0px; padding: 5px 0px; line-height: 200%; vertical-align: bottom; font-size: 0.9em; list-style-type: none; border-width: 0px 1px; border-style: none solid; border-color: -moz-use-text-color rgb(40, 52, 59); }
#menu { padding-left: 1em; padding-right: 1em; }
#menu li { display: inline; }
#menu li a { padding-right: 1.2em; padding-left: 1.2em; color: white; }
#searchbox { padding: 0px 1em 0px 0px; margin: -2em 0px 3px; display: inline; float: right; clear: left; width: 20em; text-align: right; height: 1.5em; }
#searchbox form { display: inline; margin: 0px; padding: 0px; }
#formbox { display: inline; margin: 0px; padding: 0px; }
.textfield { margin-bottom: 1px; }
#goButton { background-color: white; color: rgb(0, 90, 156); padding: 0.2em; height: 2em; }
#goButton { overflow: visible; width: auto; color: rgb(54, 93, 149); padding: 0.1em 0.4em 0.1em 0.3em; text-align: center; border-width: 1px 2px 2px 1px; border-style: solid; border-color: rgb(170, 170, 170) rgb(68, 68, 68) rgb(68, 68, 68) rgb(170, 170, 170); background: rgb(238, 238, 238) url('grad_001.png') repeat-x scroll left top; cursor: pointer; }
#goButton:active { color: rgb(31, 33, 38); border-width: 2px 1px 1px 2px; border-style: solid; border-color: rgb(68, 68, 68) rgb(170, 170, 170) rgb(170, 170, 170) rgb(68, 68, 68); }
ul#categories_list { float: left; width: 12em; position: relative; display: inline; background-color: rgb(223, 235, 247); border: 1px solid rgb(223, 235, 247); margin-top: 0px; margin-right: 1em; list-style: outside none none; padding: 0px; text-indent: 0px; }
ul#categories_list li { margin: 0px; padding: 0px; text-indent: 0px; background-color: rgb(223, 235, 247); }
ul#categories_list li span { padding: 0.5em; line-height: 200%; }
ul#categories_list li ul, ul#categories_list li ul li { background-color: rgb(255, 255, 255); list-style: outside none none; line-height: 150%; }
ul#categories_list li ul { padding: 1em; margin: 0px ! important; text-indent: 0px; background-color: rgb(255, 255, 255) ! important; }
ul#categories_list li ul li a { background-color: rgb(255, 255, 255) ! important; }
ul#categories_list li ul li a:hover, ul#categories_list li ul li a:active { color: rgb(11, 91, 157); text-decoration: underline; }
dl { margin: auto; }
dt { color: rgb(51, 68, 74); border-top: 1px solid rgb(223, 235, 247); padding: 3px; margin: 1.5em auto 0.5em 0px; width: auto; }
dd {  }
h2 img { vertical-align: top; }
#main_content { margin-left: 13em; margin-right: 16em; }
#main h2#list { margin-left: 0px; }
#news { clear: both; }
img#opensource_cert { float: left; width: 75px; margin: 0px 5px 0px 10px; }
p#opensource_cert_expl { margin-top: 15px; margin-left: 5px; }