/* box model */
BODY {
margin: 1em; }
H1 {
padding: 0.3em 0.5em 0.3em 0.5em; margin: 0em; }
H2 {
padding: 0.2em 1em 0.2em 0.8em; margin: 1em 0em 0em 0em; }
H3 {
padding: 0.1em 1em 0.2em 0.8em; margin: 0em; }
H4 {
padding: 0em; margin: 0.5em 1em; }
H5 {
padding: 0em; margin: 0em 1em; }
P, TABLE {
margin: 0.5em 1em; }
UL, OL {
margin: 0.5em 2em; }
UL UL, UL OL, OL UL, OL OL {
margin: 0.5em 0em; }
TD.implementations UL {
margin: 0.5em 0em; }
TD.implementations LI {
margin: 0em 2em; }
LI {
margin: 0.5em 2em; list-style-type: disc; }
LI P {
margin: 0em; }
DL {
margin: 0.5em 2em 1em 2em; }
DT {
margin: 1em; clear: both; }
DD {
margin: -0.5em 0em -0.5em 2em; }
DD UL, DD OL {
margin-left: 0em; }
BLOCKQUOTE {
margin-left: 3em; }
IMG {
position: relative; }
TABLE {
width: 100%; margin: 0em; }
PRE {
padding: 0.5em 3em 0.5em 3em; margin: 0em; }
content TD PRE {
padding: 0em; }
PRE.copyright {
padding: 0em; margin: 0em; }
.issue {
padding: 0em 3em; margin: 0em; }
menu {
width: 20%; padding: 0em; }
P.level1, P.level2, P.level3, P.level4 {
padding: 0em 1em; margin: 0em; }
P.level1 {
margin: 0em 0em 3px 0em; }
P.level2 {
margin: 0em 0em 1px 0em; }
P.level3 {
margin-left: 1em; }
P.level4 {
margin-left: 2em; }
content TH, content TD {
margin: 0em; padding: 0em 0.5em; }
navigation, content, colophon P {
margin-top: 2px; }
TD.implementations {
width: 25%; }
/* fonts */ BODY, TR {
font-family: 'Trebuchet MS', Arial, sans-serif; }
H1, H2, H3, H4, H5, H6 {
font-family: 'Trebuchet MS', Arial, sans-serif; }
H1 {
font-size: 173%; font-weight: bold; }
H2 {
font-size: 120%; font-weight: bold; }
H3 {
font-size: 120%; font-weight: bold; }
H4 {
font-size: 100%; font-weight: bold; }
H5 {
font-size: 100% font-weight: normal; font-style: italic; }
navigation TD {
font-weight: bold; }
DT {
font-weight: bold; }
PRE, CODE {
font-size: 100%; }
A:link, A:visited, A:active, A:hover {
font-weight: bold; }
A.offsite:link, A.offsite:visited, A.offsite:active, A.offsite:hover {
font-weight: normal; }
menu P.level1, P.level1 A:link, P.level1 A:visited, P.level1 A:hover {
font-weight: bold; }
menu P.level2, P.level2 A:link, P.level2 A:visited {
font-weight: normal; }
menu P.level3, P.level3 A:link, P.level3 A:visited {
font-weight: normal; }
menu P.level3, menu P.level4 {
font-size: 83%; }
menu P.level4, P.level4 A:link, P.level4 A:visited {
font-weight: normal; font-style: italic; }
.note {
font-family: 'Trebuchet MS', Arial, sans-serif; font-size: 100%; font-style: italic; }
colophon {
font-size: 69%; }
/* colours */ BODY {
background: white; color: black; border: 0px none white; }
/* this is to make Navigator fill the entire line */ H1, content {
border: 1px solid white; width: 100%; }
H1, H1 A:link, H1 A:visited, H1 A:active, H1 A:hover {
background: #401; color: white; }
H2 {
border-top: 5px solid white; width: 100%; }
H2, H2 A:link, H2 A:visited, H2 A:active, H2 A:hover {
background: #041; color: white; }
H3 {
border-top: 3px solid white; width: 100%; }
H3, H3 A:link, H3 A:visited, H3 A:active, H3 A:hover {
color: #041; background: #EFE; }
content TABLE {
border-collapse: collapse; }
content TH {
background: #041; color: white; }
content TD {
background: #EFE; color: black; border: 1px solid #041; }
content, navigation {
background: #EFE; color: black; }
HR {
color: #041; background: #041; }
IMG, A:link IMG, A:visited IMG, A:hover IMG, A:active IMG {
border: 0px none white; background: transparent; }
A:link, A:visited, A:active, A:hover {
color: #052; background: transparent; border: 0px none white; }
.note {
color: #333; }
.note A:link, .note A:visited, .note A:hover {
background: transparent; color: #041; }
.error {
color: #C00; }
colophon {
color: #333; background: #FEE; }
colophon A:link, colophon A:visited, colophon A:hover {
color: #401; background: transparent; }
TD.implementations {
border-left: 1px solid #041; }
menu {
background: #EEF; color: #014; }
menu P.level1, P.level1 A:link, P.level1 A:visited, P.level1 A:active P.level1 A:hover {
background: #014; color: white; }
menu P.level2, P.level2 A:link, P.level2 A:visited, P.level2 A:active P.level2 A:hover, menu P.level3, P.level3 A:link, P.level3 A:visited, P.level3 A:active P.level3 A:hover, menu P.level4, P.level4 A:link, P.level4 A:visited, P.level4 A:active P.level4 A:hover {
background: #EEF; color: #014; }
P.level2 A:hover, P.level3 A:hover, P.level4 A:hover {
text-decoration: underline; }
/* text */ OL OL LI {
list-style: lower-alpha; }
TH {
text-align: left; }
TD {
vertical-align: top; }
content TH, content TD {
text-align: center; }
content TH.rowhead, content TD.rowhead {
text-align: left; }
H1 {
text-transform: uppercase; }
H2 {
text-transform: uppercase; }
H4 {
text-transform: lowercase; }
menu {
text-transform: lowercase; }
navigation TD {
text-transform: uppercase; text-align: center; }
A.offsite {
text-decoration: underline; }
A, A.function, A.element {
text-decoration: none; }