body {
  background: #ffffff;
  color: #333333;
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  font-size: 14px;
  font-family: FreeSans, Helvetica, Arial, sans-serif;
  line-height: 1.5; }

.sub {
  margin: 0 auto;
  width: 776px; }

#header {
  background: url(header.gif) center top repeat-x;
  height: 97px;
  padding: 19px 0 0; }
  #header .sub {
    position: relative; }
  #header h1 {
    background: url(title.gif) left top no-repeat;
    width: 374px;
    margin: 0; }
    #header h1 a {
      display: block;
      height: 0;
      padding: 66px 0 0;
      overflow: hidden; }
    #header h1 span {
      display: none; }
  #header #download a {
    background: #961919;
    border-bottom: 1px solid #eeeeee;
    color: #ffffff;
    font-family: Trebuchet MS, Verdana, sans-serif;
    font-size: 16px;
    font-style: italic;
    font-weight: bold;
    text-decoration: none;
    position: absolute;
    right: 0;
    top: 24px;
    display: block;
    padding: 4px 8px; }

.front-matter {
  font-size: 120%;
  color: #666;
  margin: 1.5em; }

#footer {
  border-top: 2px solid #333333;
  background: #961919;
  margin: 2.0em 0 0; }
  #footer p {
    color: #ffffff;
    margin: 0 0;
    padding: 1em 0; }

#content {
  float: right;
  width: 574px; }
  #content blockquote {
    border-left: 4px solid #76a0d0;
    margin: 1.5em 0;
    padding: 0 1.5em; }
  #content pre {
    font-size: 11.9px; }
  #content p code, #content li code {
    background: #eeeeee; }
  #content a code {
    background: transparent; }

#sidebar {
  float: left;
  width: 170px; }
  #sidebar h4 {
    color: #d11f1f;
    font-size: 14px;
    font-family: FreeSans, Helvetica, Arial, Trebuchet MS, Verdana, sans-serif;
    margin: 1.5em 0; }
  #sidebar ul, #sidebar li {
    margin: 0 0 1.5em 0;
    padding: 0 0 0 0;
    list-style: none; }
  #sidebar li {
    border-top: 1px solid #cccccc;
    margin-bottom: 0; }
    #sidebar li a {
      display: block;
      padding: 2px 4px;
      width: 162px;
      font-size: 0.85em;
      text-decoration: none;
      color: #333333; }
    #sidebar li a:hover {
      background: #eeeeee; }

h3 {
  border-top: 2px solid #eeeeee;
  color: #d11f1f;
  font-size: 28px;
  font-family: FreeSans, Helvetica, Arial, Trebuchet MS, Verdana, sans-serif;
  font-weight: normal;
  margin: 0.5em 0; }

p, ul, pre {
  margin: 1.5em 0; }

a {
  color: #76a0d0;
  font-weight: bold; }