/* Global Attributes */
html, body { /* background goes here because of XHTML semantics */
background-color: #F9F9FF;
color: #000;
font-family: Georgia, serif;
font-size: 10.5pt;
margin: 0;
padding: 0;
}
body {padding: 0 0 3em 0;}
/* needs some tuning */
a {color: #00E;}
a:visited {color:#551A8B}
a:hover {color: #FF6600;}
a:active {color: #E00;}
/* Header */
#header {
margin: 0;
background: #4A6282;
background-position: right 0.2em;
color: #FFF;
width: 100%;
}
#header a {
margin: 0.5em 5%;
color: #FFF;
text-decoration: none;
font-family: Georgia, serif;
font-weight: normal;
font-variant: small-caps;
letter-spacing: 0.2em;
font-size: 2em;
line-height: 2em;
}
#header a:hover {color: #E0E2E6;}
/* navigation */
#navigation {
margin: 0;
padding: 0;
border: solid #8AA0BC;
border-width: 1px 0;
background: #6480A6;
width: 100%;
}
#navigation h2 {display:none;}
#navigation ol {
margin: 0 5%;
padding: 0;
display: block;
}
#navigation li {
display: inline;
line-height: 1.7em;
margin: 0 0.6em 0 0; /* is readjusted by index.css */
}
#navigation li a {
color: #FFF;
text-decoration:none;
padding: 0.3em;
}
#navigation li a:hover {
background: #BCC8D8;
}
/* Logo */
#logo {
position: absolute;
right: 0;
top: 0;
width: 80px;
height: 80px;
margin: 0.5em 5%;
/* transparency fix */
filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src='logo.png', sizingMethod='scale');
}
body>#logo { /* hidden from IE6 */
background: url('logo.png') no-repeat;
}
/* Title */
#title {
font-weight: normal;
font-size: 2em;
border-bottom: 1px solid #BCC8D8;
margin: 1em 20% 0;
text-align: center;
}
/* Content */
#content {
clear: left;
margin: 2em auto;
padding: 0 5%;
max-width: 56em;
width: expression(document.body.clientWidth >
85 * parseInt(document.body.currentStyle.fontSize) ?
"54em": "auto");
}
/* removes specialized styling */
#alt-content {
clear: left;
margin: 2em 5%;}
#content h2 {
font-weight: normal;
font-size: 1.5em;
border-bottom: 1px solid #AAA;
margin-top: 2em;
}
#content h3 {
}
p {
line-height: 1.4em;
}
#content p {
margin: 0;
text-indent: 2em;
}
#content p.lead {
text-indent: 0;
}
blockquote.digression {
font: 11pt Helvetica, sans-serif;
margin-left: 4em;
margin-right: 4em;
}
blockquote.fancy {
background: transparent url(quote-left.png) left top no-repeat;
margin: 1em 3%;
}
blockquote.fancy div.quote {
background: transparent url(quote-right.png) right bottom no-repeat;
padding: .5em 48px .5em;
}
blockquote.fancy div.origin {
text-align: right;
}
#content pre {
margin-left:4em;
}
#content pre.long {
margin-left:2%;
width: 100%;
overflow: auto;
}
/* acronym/abbr stuff */
/* acc:abbr is a hack to get styling to work in IE, see pngFix.js for details */
acronym, abbr, acc\:abbr { /* basic styling */
border-bottom: none;
font-size: 80%;
}
h2 acronym, h2 abbr, h2 acc\:abbr{ /* use normal size in headings */
font-size: 100%;
}
/* aural declarations, pretty much sums up our semantics */
acronym {
speak: normal;
}
abbr, acc\:abbr {
speak: spell-out;
}
#content form {
margin: 1em;
}
#content table {
margin: 1em;
}
#content table thead th {border-bottom:1px solid #3C578C;}
#content table td, table th {
padding: 0 .4em;
}
#content .wide-table {
width: 100%;
}
#content .wide-table td, .wide-table th {
white-space: nowrap;
}
.disclaimer, .warning {
background:#FBB;
border:1px solid #F00;
margin:1em 3em;
padding:1em;
}
.notice {
background:#7084AA;
border:1px solid #4D5E80;
color:#FFF;
margin:1em 0;
padding:0.6em;
}
.notice a {
color: #FFF;
font-weight:bold;
}
.notice p {
margin-bottom:0;
}
.notice p.lead {
margin-top:0;
}
.warning h2 {
color: #911;
font-weight: bold;
margin: 0 0 .5em 0;
}
.warning p {
text-indent: 0;
}
li {
line-height: 1.4em;
}
ol.notes {
font-size:8pt;
}
ul.long li {
margin-top:1em;
}
ol.long li {
margin-top:1em;
}
.clear {clear:both;}
/* News widgets, for RSSGenerator */
.news .item {
border-bottom: 1px solid #BCC8D8;
padding-bottom: 1em;
}
.news .title {
margin-bottom: 0;
}
.news .date {
font-style: italic;
font-size: 10pt;
margin-bottom: 1em;
margin-left: 2em;
}
.news .body {}
/* Table of contents, for GenerateTableofContents */
#toc ul {
list-style-type: none;
}
#toc .toc-label {
float: left;
padding-right: .5em;
text-align: right;
width: 2em;
}
.floated#toc {float: right; width: 28%; background:#F9F9FF;
padding:1em; margin: 1em 0 1em 1em; border: 1px solid #AAA;
position:relative;z-index:1;}
.floated#toc h2 {margin:0; font-size: 1.3em;}
.floated#toc .toc-base {margin:0.9em 0 0; padding:0;} /* Both set to zero for IE and Firefox */
.floated#toc li {
margin-top: .5em;
}
.floated#toc .toc-label {
width: 1.5em;
}
/* download */
#download-box {
background: #437048;
position: relative;
padding: 0;
margin: 2em 0 1em 0;
min-width: 380px;
}
#download-box h2 {
font-size: 2em;
font-weight: normal;
color: #FFF;
line-height: 1.5em;
margin: 0;
padding: 0 0 0 0.5em;
border: 0;
}
#download-files {
background: #70A978 url('art/dl-arrow.png') no-repeat;
background-position: 10px 100%;
}
#download-box .dl-box {
margin: 0;
position: relative;
padding: 0.5em;
padding-left: 110px;
}
#download-box .dl-box a {
color: #000;
font-size: 1.4em;
position: relative;
z-index: 1;
text-decoration: none;
border-bottom: 1px solid #437048;
}
#download-box .dl-box a:hover {
color: #FFF;
}
#download-box .dl-box .file-type {
color: #437048;
margin-left: 1em;
font-size: 1.2em;
}
#download-others {
text-align: right;
padding: 0 1.5em 0 0;
background: #56905c;
}
#download-others a {
color: #FFF;
text-decoration: none;
font-size: 1.2em;
}
#download-others a:hover {
color: #000;
}