/**
   * Basic page structure.
   * When changing something, make sure widths are coherent.
   */
   body {
      margin:0px;
      background-color: #ffffff;
      font-family: sans-serif;
      font-size: 13px;
  }

  div.header {
      padding: 0px;
      border: 0px;
      margin: 0px;
      background-color: #ffd966;
  }

  div.body {
      width: 840px;
      margin: auto;
      padding: 0;
  }

  .headerContent {
      width: 800px;
      margin: auto;
      padding: 1.8em;
  }

  .main {
      width: 85%;
      vertical-align: top;
      padding: 30px 20px 20px 20px;
  }

  .right {
      width: 15%;
      vertical-align: top;
      /* line-height: 18px; */
      padding: 30px 20px 0 12px;
  }

  a.header, a.header:visited, a.header:link {
    font-size: 20px;
    font-weight: bold;
	  color: #cc0033;
    text-decoration: none;
  }

  a:link {
    color: #0000ff;
  }

  a:visited {
    color: #0000aa;
  }

  .footer {
      padding: 12px;
      text-align: center;
      border-top: 1px solid #999999;
      font-size: 11px;
      color: #666666;
  }

  .navigation {
      width: 27%;
      vertical-align: top;
      /* line-height: 18px; */
      padding: 30px 20px 0 12px;
  }

  .headerRight {
      text-align: right;
      float: right;
      padding: 4px;
      font-size: small;
      font-style: italic;
      color: #333366;
  }


  textarea {
    width: 90%;
  }

  code {
     font-size: 12px;
 }

  pre {
     font-size: 12px;
    background-color: #D8D8D8;
 }

  .highlighted {
    background-color: #dddddd;
  }

  .calSelected {
    background-color: #dddddd;
    border: 1px solid #dddddd;
  }

  .calDefault {
    border: 1px solid #ffffff;
  }

  .box {
    padding: 0.4em;
    margin-top: 0.2em;
    margin-bottom: 1.5em;
    border-style: none;
  }

  .boxheader {
    color: #000000;
    font-weight: bold;
    padding: 0px;
    border-bottom: 1px solid #dddddd;
  }

  .box div {
    /* font-size: small; */
    text-align: left;
    border-bottom: 1px dotted #dddddd;
  }

  .box li {
    list-style-type: none;
    list-style-image: none;
  }

  .box ul {
    padding-left: 15px;
  }

  .box a {
    display: block;
    padding: 3px;
    text-decoration: none;
  }

  .navlink-0, .navlink-0-active {
    padding-left: 5px;
  }

  .navlink-1, .navlink-1-active {
    padding-left: 5px;
  }

  .navlink-2, .navlink-2-active {
    padding-left: 17px;
  }

  .navlink-3, .navlink-3-active {
    padding-left: 29px;
  }

  .navlink-0-active, .navlink-1-active, .navlink-2-active, .navlink-3-active {
      font-weight: bold;
  }

  .box a:hover {
    background-color: #ffecb3
  }