body {font-family: Georgia, serif; color: #333; font-size: 0.95em; padding: 0; margin: 0; background: #EEE; }
a {color: #336;}
a:visited {color: #558;}
a:active {color: #AAC;}
blockquote {font-style:italic;}
h1, h2, h3, h4 {font-weight:normal;}
h1 a, h2 a, h3 a, h4 a {color:#333; text-decoration:none;}
h1 {font-size: 1.6em; margin-top: 0; padding-top: 1.2em;}
h2 {font-size: 1.4em;}
h3 {font-size: 1.2em;}
h4 {font-size: 1.0em;}
hr {background-color: #DDD; border:none;height:1px; margin: 30px 0 10px 0;}
ul#nav {float: left; margin:50px 0 0 0; padding: 0; list-style-type:none; width:7em; text-align:right;}
li { padding: 0.2em 0; }
div#content {margin-left: 8em; width: 39em;border-bottom: 1px solid #CCC;  border-left: 1px solid #CCC; border-right: 1px solid #CCC; padding: 0 1em; background: #FFF;}
div#content p {line-height: 1.5em; }
div#content p.light {color: #999;}
div#content div#footer {color: #999; padding: 2em 0 1.2em 0;}
div#content pre {color: #EEE; background-color: #778; padding: 10px; overflow:auto; font-size:1.25em;}
div#content pre code {font-size: 0.8em;}
div#content div.comment {border-top: 4px solid #999; color: #666; padding: 10px; background-color: #EEE; font-size: 0.9em;}
div#content ul {list-style-type:circle; color: #666;}
/*div#content img {max-width:592px;} */
div#skip {display:none;}
.right {float:right; margin-left: 1.2em;}
.left {float:left; margin-right: 1.2em;}
.small {font-size: 0.8em;}