body {
  margin-top: 0;
  margin-bottom: 0;
  font-family: Verdana;
  font-size: 100%; }
  body #content {
    width: 728px;
    margin: 0 auto;
    padding-top: 1em;
    padding-bottom: 8em;
    padding-left: 2em;
    padding-right: 2em;
    background: url(/images/progress.png) top repeat-y; }
    body #content .center {
      width: 600px; }
    body #content .small_center {
      width: 400px; }
    body #content .small_center, body #content .center {
      font-size: 150%;
      margin: 0 auto; }
    body #content b {
      color: #ba3535;
      font-size: 110%; }
    body #content #navigation {
      width: 600px;
      margin: 0 auto;
      font-size: 140%; }
      body #content #navigation ul.horizontal {
        list-style-type: none; }
        body #content #navigation ul.horizontal li {
          float: left;
          padding: 15px; }
    body #content h1 {
      text-align: center; }
    body #content p {
      line-height: 1.2em; }
    body #content a {
      color: #0066cc; }
    body #content a:hover {
      color: #ba3535; }
    body #content a.anchor {
      color: black; }
    body #content a img {
      border: 0px; }
    body #content a.token, body #content a.email {
      font-weight: bold; }
    body #content table.example {
      border-collapse: collapse;
      margin: 0px;
      padding: 0px; }
      body #content table.example th {
        vertical-align: middle; }
      body #content table.example tr.first th {
        border-bottom: 2px solid #ba3535;
        border-right: 0px;
        padding: 6px; }
      body #content table.example tr.first th.first, body #content table.example tr th {
        text-align: right;
        padding-right: 8px;
        border-right: 2px solid #ba3535; }
      body #content table.example tr.first th.second, body #content table.example tr td {
        padding-left: 8px;
        text-align: left; }
    body #content div.example a, body #content table.example th a {
      font-family: monospace;
      font-size: 125%;
      font-weight: bold; }
    body #content div.example a, body #content table.example th a {
      color: black;
      text-decoration: none; }
    body #content div.example a:hover, body #content table.example th a:hover {
      color: #ba3535; }
    body #content div.example {
      background-color: #DDDDDD;
      border: 4px solid #ba3535;
      padding-top: 1em;
      padding-bottom: 1em;
      padding-left: .5em;
      padding-right: .5em;
      margin-top: 15px;
      margin-bottom: 15px;
      line-height: 2em; }
    body #content .left-image, body #content .right-image {
      padding-top: 10px;
      padding-bottom: 10px; }
      body #content .left-image .caption, body #content .right-image .caption {
        padding-top: 6px;
        font-size: small;
        font-weight: bold; }
    body #content .left-image {
      margin-right: 10px;
      padding-right: 10px;
      border-right: 1px solid #ba3535; }
    body #content .right-image {
      margin-left: 10px;
      padding-left: 10px;
      border-left: 1px solid #ba3535; }

.clear {
  clear: both; }

.right {
  float: right; }

.left {
  float: left; }