html { background: #f5f5f5; color: #111; font: 95%/1.5 Arial, Helvetica, sans-serif; }
body { padding: 1em 2em; margin: 0 2em; /* used to pull out headings later on */ }

h1 { font-size: 2.5em; font-weight: normal; text-transform: uppercase; line-height: 1.2; }
h1 .chapter_number, h1 .chapter_byline { display: block; font-size: 0.5em; text-transform: none; line-height: 2.5; }

ul { list-style: square; }
code, kbd { font-size: 1.2em; }
li p { margin: 0; padding: 0; }

table { width: 100%; border-collapse: collapse; empty-cells: show; }
thead th { border-top: 1px #000 solid; border-bottom: 1px #000 solid; }
td, th { padding: 0.5em; }
tbody th, td { text-align: left; border-bottom: 1px #ddd solid; }

.focus_point { background: #ddd; margin: 1em; padding: 1em; border: 1px #888 solid; -moz-border-radius: 1em; }

dl { margin: 1em 3em; }

dt { font-weight: bold; margin: 0; padding: 0; }
dd { margin: 0 0 1em 0; padding: 0; } 

pre { margin: 1em 3em; }

em cite { font-style: normal; }

h2, h3 { margin-left: -1em; }

q { quotes: '' ''; } /* suppress quote marks, as we're hard-coding them in HTML for stupid browsers */

img { background: #fff; padding: 5px; border: 1px #888 solid; }

a, a:link { font-weight: bold; color: #3d5953; padding: 0.2em; }
a:visited { color: #222; }
a:focus, a:hover, a:active { color: #eee; background: #3d5953; }

div.figure { margin: 2em; }
div.figure p { font-size: 0.85em; }
div.figure p span { font-weight: bold; }

#nav { margin: 0; padding: 0.2em 0.75em; background: #e5e5e5; border: 1px #bbb solid; }
#nav li { display: inline; padding: 0 1em 0 0; font-size: 0.85em; font-weight: bold; }
#nav a { padding: 0.5em 1em; }

div, div h3 { width: 100%; } /* workaround fix for IE's issue with relative links and tabbing */