/* markup structure:
*/
/* body, skipnav, container */
html {
color: #00293f;
background: #fff url(/images/bg.png) repeat fixed 0 0;
}
body {
font-size: 75%;
font-family: verdana, arial, sans, sans-serif;
font-weight: normal;
margin: 0em;
padding-top: 0em;
padding-bottom: 2em;
text-align: center;
}
#container {
width: 68em;
margin-left: auto;
margin-right: auto;
background: #fff;
border-bottom: 1px solid #00293f;
border-left: 1px solid #00293f;
border-right: 1px solid #00293f;
}
html>body #container {
min-width: 68em;
width: 80%;
}
.skipnav {
visibility: hidden;
}
/* general markup */
h1 {
font-size: 180%;
text-align: center;
margin: 1.5em 0em 1.5em 0em;
}
h2 {
font-size: 140%;
border-bottom: 2px solid #00293f;
margin-top: 2em;
}
/*
h2:before {
content: url("/images/h2-pre.png");
}
*/
h3 {
font-size: 120%;
border-bottom: 1px solid #00293f;
margin-top: 1.6em;
}
h3:before {
content: url("/images/h3-pre.png");
}
h4 {
font-size: 100%;
border-bottom: 1px dashed #00293f;
margin-top: 1.6em;
}
h4:before {
content: url("/images/h4-pre.png");
}
h5 {
font-size: 100%;
font-weight: 700;
margin-top: 1.6em;
margin-bottom: 0em;
text-decoration: underline;
}
a {
color: #a00;
text-decoration: none;
}
#content a:hover {
background-color: #ff0 !important;
}
a[href] {
background: transparent url(/images/il.gif) no-repeat scroll left center;
padding-left: 13px;
}
/*
a:before {
content: url("/images/il.gif");
}
*/
a[rel="external"], a.external {
background: transparent url(/images/el.gif) no-repeat scroll left center;
padding-left: 13px;
}
a[href="#container"], a[href="#table-of-contents"] {
background: transparent url(/images/top.gif) no-repeat scroll left center;
padding-left: 13px;
}
a.nomarker, a.footref, a.footnum, #postamble a, h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
background: none;
padding-left: 0px;
}
p.toplink {
clear: both;
}
tt, pre, samp, code, kbd, var {
font-size: 110%;
font-family: "courier new", courier, monospace;
font-weight: normal;
}
hr {
border-top: 2px solid #00293f;
border-right: none;
border-bottom: none;
border-left: none;
margin: 0em 0em 0em 0em;
}
abbr, .spellout {
speak: spell-out;
}
.nospell {
speak: normal;
}
abbr, acronym, .description {
border-width: 0 0 1px 0;
border-style: dotted;
cursor: help;
}
abbr.nomarkup, acronym.nomarkup {
border-width: 0;
cursor: auto;
}
img {
border: none;
}
address {
font-style: italic;
}
ul {
list-style-type: square;
}
/* main navigation (nav) */
#nav {
height: 2.5em;
background-color: #00293f;
white-space: nowrap;
position: relative;
overflow: hidden;
}
div#nav.home {
border-bottom: 2px solid #a00;
}
ul.nav, ul.navr {
list-style: none outside none;
padding: 0em 2.5em 0em 0em;
margin-left: 2.5em;
margin-top: 0.5em;
}
ul.nav {
float: left;
margin-left: 1.4em;
}
ul.navr {
float: right;
margin-right: -1em;
}
div>ul.nav, div>ul.navr {
padding: 0em 2.5em 0em 0em;
}
ul.nav li, ul.navr li {
display: inline;
color: #a00;
margin: 0em;
padding: 0em 1em 0em 1em;
font-weight: 700;
}
/*
ul.nav li.right {
float: right;
}
*/
ul.nav li.first, ul.navr li.first {
padding-left: 0em;
}
ul.nav li.last, ul.navr li.last {
padding-right: 0em;
}
ul.nav li.strike, ul.navr li.strike, ul.nav li.right .strike, ul.navr li.right .strike {
text-decoration: line-through;
color: #9f9faf;
}
ul.nav li a, ul.navr li a {
color: #dfdfef;
text-decoration: none;
}
ul.nav li a.current, ul.navr li a.current {
color: #a00;
}
ul.nav li.current a, ul.navr li.current a {
color: #a00;
}
ul.nav li a:hover, ul.navr li a:hover {
color: #fffff3;
background-color: #00293f;
}
ul.nav li a.current:hover, ul.navr li a.current:hover {
color: #f00;
background-color: #00293f;
}
ul.nav li a, ul.navr li a {
background: none;
padding-left: 0px;
}
/* 2nd level navigation (nav2) */
#nav2 {
height: 2.1em;
border-bottom: 2px solid #a00;
background-color: #dfdfef;
}
ul.nav2 {
float: left;
list-style: none outside none;
padding: 0em 2.5em 0em 0em;
margin-left: 1.5em;
margin-top: 0.5em;
white-space: nowrap;
}
div>ul.nav2 {
padding: 0.5em 2.5em 0em 0em;
margin-top: -0.2em;
}
ul.nav2 li {
color: #a00;
margin: 0em;
padding: 0em 1em 0em 1em;
font-weight: 700;
font-size: 80%;
display: inline;
}
ul.nav2 li.right {
float: right;
}
ul.nav2 li.first {
padding-left: 0em;
}
ul.nav2 li.last {
padding-right: 0em;
}
ul.nav2 li a {
color: #00293f;
text-decoration: none;
}
ul.nav2 li a:hover {
color: #00598f;
background-color: #dfdfef;
}
ul.nav2 li a {
background: none;
padding-left: 0px;
}
.outline-text-2 ul li, .outline-text-3 ul li, .outline-text-4 ul li, .outline-text-5 ul li, .outline-text-6 ul li, .outline-text-7 ul li {
margin-top: 0.5em;
}
/* content */
#nolanguage {
text-align: center;
margin-top: 2em;
padding: 1em;
border: 1px solid #00293f;
font-style: italic;
background: #f3f5f7;
}
#contentouter {
text-align: left;
clear: both;
padding: 0em 2.5em 0.2em 2.5em;
}
/* page navigation (pagenav) */
#pagenav {
float: left;
clear: left;
width: 23em;
border: 1px solid #00293f;
margin: 0.4em 1.5em 0.5em 0em;
}
#pagenav h2 {
background-color: #a00;
margin: 0em;
padding: 0.5em 1em 0.5em 1em;
font-size: 100%;
color: #dfdfef;
border-bottom: 2px solid #00293f;
}
#table-of-contents {
float: left;
clear: left;
width: 23em;
padding: 0.4em 1.5em 0.5em 0em;
background: white;
}
#table-of-contents h2 {
background-color: #a00;
margin: 0em;
padding: 0.5em 1em 0.5em 1em;
font-size: 100%;
color: #dfdfef;
border: 1px solid #00293f;
border-bottom: 2px solid #00293f;
}
#text-table-of-contents {
border: 1px solid #00293f;
}
#pagenav ol, #text-table-of-contents ul {
list-style-image: url("/images/bullet.gif");
margin: 0.5em 0.5em 0.5em 2.3em;
}
html>body #pagenav ol, html>body #text-table-of-contents ul {
padding: 0em 0.5em 0.2em 0em;
}
#pagenav ol li, #text-table-of-contents ul li {
color: #00293f;
text-decoration: none;
line-height: 150%;
}
#pagenav ol li a, #text-table-of-contents ul li a {
color: #00293f;
text-decoration: none;
}
#pagenav ol li a, #text-table-of-contents ul li a {
background: none;
padding-left: 0px;
}
#pagenav ol li ol, #text-table-of-contents ul li ul {
list-style-image: url("/images/bullet2.gif");
margin: 0em 0em 0em 1.4em;
}
h2.first {
margin-left: 17.7em;
}
h3.first {
margin-left: 20.7em;
}
ul.noindent {
list-style-type: square;
padding-left: 1.2em;
margin-left: 0em;
}
ul.topicspace li, ul.dotsbullet li {
padding: 0.5em 0em;
}
.lg {
background-color: #efeff5;
padding: 1em 1em 1em 1em;
margin: 1em 0em 1em 0em;
border: solid 1px #00293f;
}
.lg tt, .lg pre, .lgtt samp, .lgtt code, .lgtt kbd, .lgtt var {
font-size: 100%;
font-family: "courier new", Courier, monospace;
font-weight: normal;
}
.lgtt {
font-size: 100% !important ;
font-family: "courier new", Courier, monospace !important ;
background-color: #efeff5;
padding: 1em 1em 1em 1em;
margin: 1em 0em 1em 0em;
border: solid 1px #00293f;
white-space: pre;
}
span.function-name {
color: #8b2323;
}
span.doc-string {
color: #008b00;
}
span.variable-name {
color: #8b008b;
}
span.string {
color: #008b00;
}
span.keyword {
color: #8b0000;
}
span.comment {
color: #008b8b;
}
span.constant {
color: #0088ff;
}
span.type {
color: #dd0000;
}
ul.linklist {
list-style-image: url("/images/bullet.gif");
margin: 0.5em 0.5em 0.5em 2.3em;
}
html>body ul.linklist {
padding: 0em 0.5em 0.2em 0em;
}
ul.linklist li a {
background: none;
padding-left: 0px;
}
ul.dotsbullet {
list-style: none;
margin-left: 0em;
padding-left: 0em;
}
ul.dotsbullet li:before {
content: "... ";
margin-left: -1.7em;
}
ul.dotsbullet li {
padding-left: 2em;
}
ul.nobullet {
list-style: none;
line-height: 150%;
margin-left: 0em;
padding-left: 0em;
}
p.noversion {
text-align: right;
font-size: 80%;
}
ul.dotsbullet {
list-style: none;
}
ul.dotsbullet li:before {
content: "...";
}
ul.dotsbullet {
list-style: none;
margin-left: 0em;
padding-left: 0em;
}
ul.dotsbullet li:before {
content: "...";
}
ul.dotsbullet li {
padding-left: 2em;
}
ul.dotsbullet li:first-line {
padding-left: 0em;
}
.center {
text-align: center !important;
}
.left {
text-align: left !important;
}
.topbot {
margin-top: 1em;
margin-bottom: 1em;
}
textarea {
/* background-color: #F3F5F7; */
color: #ffffff;
background-color: #000000;
border: 1pt solid #AEBDCC;
font-family: courier,monospace;
font-size: 90%;
font-weight: 700;
overflow: auto;
padding: 5pt 5pt 0pt 5pt;
}
table.ciphers, table.keys {
margin-top: 1em;
width: 100%;
}
table.ciphers {
table-layout: fixed;
border-collapse: collapse;
}
table.ciphers th {
text-align: center;
}
table.keys th {
text-align: left;
}
table.keys td {
vertical-align: top;
}
table.keys td a {
background: none !important;
padding-left: 0px;
}
table.ciphers caption, table.keys caption {
text-align: right;
font-size: 80%;
caption-side: bottom;
font-style: italic;
margin-top: 0.5em;
margin-bottom: 1em;
margin-left: auto;
margin-right: auto;
}
table.ciphers td, table.ciphers th {
border-left: 1px solid #00293f;
word-spacing: 1em;
padding-left: 1em;
}
div.changes table {
margin-top: 1em;
border-collapse: collapse;
margin-top: -1em;
table-layout: fixed;
border: none;
}
div.changes table th, div.changes table td {
text-align: left;
vertical-align: top;
font-weight: normal;
padding: 0em 0.7em 0em 0em;
}
/* footer */
p.last {
margin-top: 1.8em;
margin-bottom: 0.4em;
}
#footer {
height: 5em;
}
#footer #address {
position: relative;
float: left;
margin-top: 1em;
margin-right: 2px;
max-width: 50%;
clear: none;
font-size: 80%;
}
#footer #buttons {
position: relative;
margin-top: 1em;
max-width: 50%;
text-align: right;
float: right;
}
#buttons a:hover {
background-color: transparent;
}
#buttons a.nomarker {
border: none;
}
div#postamble {
font-size: 75%;
text-align: right;
margin-top: 0em;
}
div#postamble p {
display: inline;
}
div#postamble p:before {
content: "-- ";
}
div#postamble p.author:before {
content: "";
}
div#postamble { border-top: 1px solid #999; }
/* .example, .src { font-size: 110%; } */
.section-number-1, .section-number-2, .section-number-3, .section-number-4, .section-number-5, .section-number-6 {
margin-right: 0.5em;
}
div#buttons {
float:right;
margin-top:0.5em;
}
div#buttons a {
background: none !important;
}
/*********************************************
media print
***********************************************/
@media print {
body {
background: #fff;
}
#pagenav, #nav, #nav2, #buttons { display: none; }
#container {
width: 100%;
margin: 0em;
background: #fff;
border: none;
}
#address { white-space: nowrap; }
abbr, acronym, .description {
border: 0;
}
abbr[title]:after, acronym[title]:after, .description[title]:after {
font-size: 80%;
content: " (" attr(title) ")";
}
h2.first, div#text-table-of-contents + div h2 {
margin-left: 17.7em;
}
a[href]:after {
font-size: 80%;
content: " [" attr(href) "]";
font-family: "courier new", Courier, monospace;
color: #555;
}
a[href="#container"] { display: none; }
abbr[title].nomarkup:after, h1 abbr[title]:after, h1 acronym[title]:after,
#footer abbr[title]:after, #footer a.mymail:after {
content: "";
}
}