html { margin: 0; padding: 0; }
body { margin: 0; padding: 0;}

body, tbody {
 font-family: "Bitstream Vera Sans", "Trebuchet MS", Arial, sans-serif;
 font-weight: normal;
}
body { font-size: 0.9em; line-height: 130%;
 color: black;
 background-color: white;
 }
tbody { font-size: 0.9em; }

#menu {
 position: absolute;
 top: 3em;
 left: 0;
 width: 158px;
 padding: 2px 2px 0 10px;
 font-size: 0.8em;
 color: black;
 background: #FBFBFF;
/* border-top: inset #66F 5px;
 border-bottom: inset #66F 5px;
 border-left: inset #66F 5px; */
 }
#page {
 position: fixed;
 width: 158px;
 padding: 0 0 0 4px;
 top: 0;
 right: 0;
 font-size: 0.8em;
 color: black;
 background: #FBFBFF;
}
#page .menu { display: none; }
#page:hover .menu { display: block; }
#content {
 max-width: 58em;
}

p + ul, p + ol { margin-top: 0; }

h1, h2, h3, h4 { 
 font-family: Arial, sans-serif;
 padding: 0.2em 10px;
 border-top: solid 1px #66F;
 }
h1 { margin: 4px 2px 2px 2px; background: #CCE; color: black; }
h2, h3, h4 { margin: 0.6em -8px 0.3em; }

h1, thead { text-align: center;  }
h1 { font-size: 1.4em; }
h2 { font-size: 1.25em; font-style: italic; }
h3 { font-size: 1.1em; margin-left: 4px; }
h4 { font-size: 1.1em; font-style: italic; margin-left: 16px; }
thead { font-size: 0.95em; }

p {
 margin: 0;
 padding: 0 0 6px;
}

tt { font-size: 1em; }

a:link, #page h5 { color: blue; background-color: inherit; text-decoration: underline; }

a:visited { color: purple; background-color: inherit; }

a:hover { color: blue; background-color: #FFB; }

.footnote { border-bottom: thin blue dashed; }

.notice {
 font-family: "Bitstream Vera Sans", sans-serif;
 font-style: italic;
 font-size: 9pt;
 line-height: 115%;
 margin: 0px;
 }

img.logo {
 float: right;
 border-style: ridge;
 }

#menu h5, #page h5 {
 margin: 0 0 0 -4px; padding: 2px 2px 0;
 border-top: solid 2px #66F;
 border-left: solid 2px #66F;
 font-weight: normal;
 font-size: 1em;
 }
.menu { margin: 0; padding: 2px 0; }
.menu ul { margin: 0; padding: 3px; }
.menu li { list-style-type: square; list-style-position: inside; }
.menu li li { list-style-type: circle; }
.menu li li li { list-style-type: disc; }

#content {
 padding: 1em 1.5em 5.5em;
 margin: 0 0 0 166px;
}
.tip {
 border: solid 1px red;
 padding: 1em 3em 0.5em;
 text-align: center;
}
ol ol { list-style-type: lower-alpha; }

ol.inlinealpha { list-style: lower-alpha;  }
dd {
 font-weight: bold;
 border-top: solid 2px #66F;
 border-left: solid 24px #66F;
 border-right: solid 2px #66F;
 padding: 3px; margin-left: 0; 
}
dt { border-right: solid 2px #66F; border-bottom: solid 2px #66F; padding-left: 27px; }
dt + dd { margin-top: 4px; }
abbr, acronym, i[title], pre[title], big[title] { cursor: help; border-bottom: dotted 1px #555; }
.str { text-decoration: line-through; }
pre.listing {
 font: 0.87em/1.25em "Bitstream Vera Sans Mono", "Lucida Console", "Courier New", Courier, monospace;
 white-space: pre;
 padding: 0.8em 1.5em;
 margin-bottom: 0.4em;
 border: solid 1px #66F;
 background: #FBFBFF;
 color: black;
}

.prompt {
 color: blue;
 background: inherit;
}
span.cmd, pre i, tt i {
 font-weight: bold;
 color: red;
 background: inherit;
}
span.com {
 color: #060;
 background: inherit;
}

hr { color: #00F; }

#footer {
 position: fixed;
 background-color: #FBFBFF;
 color: black;
 bottom: 0;
 height: 4.5em;
 max-height: 150px;
 overflow: auto;
 left: 0px;
 right: 0px;
 padding: 6px 20px 0 20px;
 border-top: solid black 1px;
 }

table {
 border-top: solid #66F 2px;
 border-left: solid #66F 2px;
 text-align: left;
 margin: 10px auto;
 background: #FBFBFF;
 color: black;
}
table td, table th {
 border-top: solid #99C 1px;
 border-left: solid #99C 1px;
 padding: 2px 5px;
}
.instructions strong {
 line-height: 150%;
 padding: 1px;
 background: #eee;
 border: solid 1px gray;
 -moz-border-radius: 3px;
}

@media print {
 #menu { display: none; }
 #footer { position: relative; overflow: visible; }
 #content { padding: 0; margin: 0; }
 body, tbody { font-family: Georgia, "Times New Roman", "Trebuchet MS", serif; }
}