body {
   padding: 0;
   margin: 0;
   font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
   font-size: 75%;
   color: #333;
   line-height: 150%;   
   background-color: #f0f0f4;
}

tt {
   font-family: "Courier New", Courier, monospace;
   font-size: 100%;
}

table {
   border-spacing: 0px;
   font-size: 100%;
}

a {
   font-weight: bold;
   color: #0030A0;
}

a:visited {
   color: purple;
}

a:active {
   color: red;
}

pre {
   font-family: "Courier New", Courier, monospace;
   color: black;
   border: 1px solid #ccc;
   background-color: #ffffe1;
   margin-left: 2em;
   padding: 1em;
   width: 85ex;
}

h1 {
   font-family: Arial, Helvetica, sans-serif;
   color: #165a9e;
   margin-top: 1ex;
   font-size: 235%;
   font-weight: bolder;
   line-height: 100%;
}

h2 {
   margin-top: 3ex;
   font-size: 180%;
   font-weight: normal;
   line-height: 100%;
}

h3 {
   margin-bottom: 1ex;
   font-size: 125%;
   font-weight: bold;
   line-height: 100%;
}

h1, h2 {
   letter-spacing: 1px;
}

h1+h2 { /* ie doesn't seem to recognize sibling selectors */
   margin-top: 0ex; 
}

img {
   margin: 0;
   padding: 0;
   border: none;
   vertical-align: middle;
}

a img {
   margin-right: 1ex; 
}

#wrapper {
   margin: 20px 40px; 
   padding: 0;
   border: 1px solid #888;
   background-color: #fff;
}

#header {
   margin: 0;
   padding: 0;
   background-color: #d0dde2;
   height: 65px /* use a different unit, if possible */
}

#footer {
   border-top: 1px solid #ddd;
   font-style: italic;
   font-weight: bold;
   font-size: 80%;
   line-height: 6ex;
   text-align: right;
   padding-right: 2em;
   color: #bbb;
}

#nav {
   text-align: right; /* for ie (right-aligning tabs) */
   background: #d0dde2 url(/images/bg.gif) repeat-x bottom;
   padding-top: 1ex;
   padding-right: 2em; 
}

#nav table {
   border-collapse: collapse;
   margin-left: auto; /* for moz, opera (right-aligning tabs) */
}

#nav td {
   background: url(/images/right.gif) no-repeat right top;
   border-bottom: 1px solid #888;
   padding: 5px 9px 4px 0;
}

#nav .left {
   width: 9px;
   background: url(/images/left.gif) no-repeat left top; 
   padding: 0;
}

#nav a {
   color: #0030a0;
   text-decoration: none;
}

#nav a:hover {
   text-decoration: underline;
}

#nav #curleft {
   width: 0px; /* i'm not sure why this line and the next make things work */
   padding-right: 5px; 
   background-image: url(/images/left_on.gif);
   border-bottom: 1px solid white;
}

#nav #cur {
   background-image: url(/images/right_on.gif);
   border-bottom: 1px solid white;
}

#nav #cur a {
   color: #2094E5;
}


#content {
   padding: 20px 40px;
}

#content ul, #content ol {
   line-height: 150%;
   margin-top:  1ex;
   margin-bottom: 1ex;
}

#content ul {
   list-style: square;
}

#content dt {
   font-weight: bold;
}

#content dd {
   margin-bottom: 1.5ex;
}

#breadcrumb {
   font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
   font-size: 90%;
   position: absolute;
   color: #888;
   top: 97px;
   left: 50px;
}

#breadcrumb ul {
   margin-left: 0;
   padding-left: 0;
   display: inline;
}

#breadcrumb ul li {
   margin-left: 0;
   padding-left: 0;
   display: inline;
}

#breadcrumb a {
   color: #999;
   text-decoration: none;
}

#breadcrumb a:hover {
   text-decoration: underline;
}

#sidebar {
   border-left: 1px solid #ccc;
   float: right;
   width: 175px;
   margin: 0 -20px 10px 10px;
   padding: 5px 10px 20px 10px;
}

#sidebar table {
   border: 1px solid #ccc;
   margin-bottom: 15px;
   width: 100%;
   font-size: 90%;
   padding: 5px;
}

#sidebar table a {
   text-decoration: none;
}

#sidebar table a:hover {
   text-decoration: underline;
}

td.endgroup { /* might be able to avoid using if i use tbodys */
   padding-bottom: 5px;
}

td.begingroup {
   border-top: 1px solid #ccc;
   padding-top: 5px;
}

#toc a {
   font-weight: normal;
   text-decoration: none;  
}

#toc a:hover {
   text-decoration: underline;
}

#content #toc ul {
   list-style: none;
   margin-left: 0;
   padding-left: 0;
}

#toc h2 {
   margin: 0;
   padding: 0;
}

#toc ul li {
   margin-left: 1em;
   list-style: square;
   font-size: 110%;
   line-height: 165%;
}

#toc ul {
   padding-top: 0;
   margin-top: 1ex;
   margin-bottom: 3ex;
}

div.faqbox {
   margin-bottom: 5ex;
}

div.faq {
   font-weight: bold;
   font-size: 125%;
}

div.faq + div.faq {
   margin-top: 1ex;
}

div.faqsolution {
   font-weight: bold;
   font-style: italic;
   color: #606060; /* was tempted to use the shorthand for a slightly lighter gray */
} 

div.totop {
   font-weight: bold;
   color: #888;
}

div.totop a, div.totop a:visited {
   color: #888;
}

div.command {
   font-family: "Courier New", Courier, monospace;
   font-size: 110%;
   margin-left: 2.5em;
   padding-top: 1ex;
   padding-bottom: 1ex;
}

table.data th {
   padding-left: 1em;
   padding-right: 1em;
}

span.path, span.tex, span.shortcutKey { /* all identical, for now */
   font-family: "Courier New", Courier, monospace;
   font-size: 110%;
}

p.soldetail {
   margin-left: 1.5em;
}

p.indexBlurb {
   margin-top: 0;
}

p.note {
   font-style: italic;
}

.centered {
   text-align: center;
}

.right {
   text-align: right;
}