html {
    text-size-adjust: none;
    -webkit-text-size-adjust: none;
    -moz-text-size-adjust: none;
    -ms-text-size-adjust: none;
  }
  
  
  body {
      background: white;
      font-family: Optima, Georgia, sans-serif;
      padding: 10px;
      padding-top: 10px;
      padding-bottom: 10px;
      font-size: .96em;
      margin-left: auto;
      margin-right: auto;
      max-width: 1000px;
  }
  
   
  #layout-menu {
      background: #f4f4f4;
      border: none;
      border-right: 1px solid #dddddd;
      border-bottom: none;
      margin: 0;
      padding-top: 15px;
      padding-left: 8px;
      padding-right: 15px;
      font-size: 1.0em;
      white-space: nowrap;
  }
  
  #layout-menu a {
      line-height: 1.5em;
      margin-left: 0.5em;
  }
  
  tt {
      color: green;
  }
  
  tt.tthl {
      color: black;
  }
  
  pre, tt {
      font-size: 90%;
      font-family: monaco, monospace;
  }
  
  a, a > tt {
      color: #224b8d;
      text-decoration: none;
  }
  
  a:hover {
    color: #bb0000;
  }
  
  #layout-menu a.current:link, #layout-menu a.current:visited {
      color: #022b6d;
      border-bottom: 1px gray solid;
  }
  
  #layout-menu a:link, #layout-menu a:visited, #layout-menu a:hover {
      color: #527bbd;
      text-decoration: none;
  }
  
  div.menu-category {
      border-bottom: 0px solid gray;
      margin-top: 0.8em;
      padding-top: 0.2em;
      padding-bottom: 0.1em;
      font-weight: bold;
  }
  
  div.menu-item {
      padding-left: 15px;
      padding-right: 8px;
      text-indent: -16px;
      text-align: right;
  }
  
  div#toptitle {
      color: #527bbd;
      padding-bottom: .5em;
      margin-bottom: 1.3em;
      border-bottom: 1px solid gray;
  }
  
  /* Reduce space if we begin the page with a title. */
  div#toptitle + h2, div#toptitle + h3 {
      margin-top: -0.7em;
  }
  
  div#subtitle {
      margin-top: 0.0em;
      margin-bottom: 0.0em;
      padding-top: 0em;
      padding-bottom: 0.1em;
  }
  
  #layout-content {
      border: none;
      padding-top: 10px;
      padding-left: 16px;
      padding-right: 16px;
      padding-bottom: 0;
      margin: 0;
  }
  
  em {
      font-style: italic;
  }
  
  strong {
      font-weight: bold;
  }
  
  
  h1, h2, h3 {
      color: #bb0000;
      margin-top: 0.7em;
      margin-bottom: 0.3em;
      padding-bottom: 0.2em;
      line-height: 1.0;
      padding-top: 0.5em;
      border-bottom: 1px solid #aaaaaa;
  }
  
  
  h1 {
      font-size: 165%;
  }
  
  h2 {
      padding-top: 0.8em;
      font-size: 125%;
  }
  
  h2 + h3 {
      padding-top: 0.2em;
  }
  
  h3 {
      font-size: 105%;
      border-bottom: none;
  }
  
  p {
      margin-top: 0.0em;
      margin-bottom: 0.1em;
      padding: 0;
      line-height: 1.2;
  }
  
  pre {
      padding: 0;
      margin: 0;
  }
  
  div#footer {
      font-size: small;
      border-top: 1px solid gray;
      padding-top: 0.1em;
      margin-top: 4.0em;
  }
  
  div#footer-text {
      float: left;
      padding-bottom: 8px;
  }
  
  ul, ol, dl {
      margin-top: 0.1em;
      padding-top: 0;
      margin-bottom: 0.8em;
  }
  
  dt {
      margin-top: 0.5em;
      margin-bottom: 0;
  }
  
  dl {
      margin-left: 20px;
  }
  
  dd {
      color: #222222;
  }
  
  dd > *:first-child {
      margin-top: 0;
  }
  
  ul {
      list-style-position: outside;
      list-style-type: square;
  }
  
  p + ul, p + ol {
      margin-top: -0.5em;
  }
  
  li ul, li ol {
      margin-top: -0.3em;
  }
  
  ol {
      list-style-position: outside;
      list-style-type: decimal;
  }
  
  li p, dd p {
      margin-bottom: 0.3em;
  }
  
  
  ol ol {
      list-style-type: lower-alpha;
  }
  
  ol ol ol {
      list-style-type: lower-roman;
  }
  
  p + div.codeblock {
      margin-top: -0.6em;
  }
  
  div.codeblock, div.infoblock {
      margin-right: 0%;
      margin-top: 1.2em;
      margin-bottom: 1.3em;
  }
  
  div.blocktitle {
      font-weight: bold;
      color: #cd7b62;
      margin-top: 1.2em;
      margin-bottom: 0.1em;
  }
  
  div.blockcontent {
      border: 1px solid silver;
      padding: 0.3em 0.5em;
  }
  
  div.infoblock > div.blockcontent {
      background: #f6f6f6;
  }
  
  div.blockcontent p + ul, div.blockcontent p + ol {
      margin-top: 0.4em;
  }
  
  div.infoblock p {
      margin-bottom: 0em;
  }
  
  div.infoblock li p, div.infoblock dd p {
      margin-bottom: 0.5em;
  }
  
  div.infoblock p + p {
      margin-top: 0.8em;
  }
  
  div.codeblock > div.blockcontent {
      background: #f6f6f6;
  }
  
  span.pycommand {
      color: #000070;
  }
  
  span.statement {
      color: #008800;
  }
  span.builtin {
      color: #000088;
  }
  span.operator {
      color: #880000;
  }
  span.error {
      color: #aa0000;
  }
  span.comment, span.comment > *, span.string, span.string > * {
      color: #606060;
  }
  
  @media print {
      #layout-menu { display: none; }
  }
  
  #fwtitle {
      margin: 0;
      padding: 0;
  }
  
  #fwtitle #toptitle {
      padding-left: 0.5em;
      margin-bottom: 0.5em;
  }
  
  #fwtitle div#toptitle {
      background-color: #888888;
      padding: 0.5em;
          padding-left: 1.2em;
          padding-right: 1.2em;
      margin: 0;
      border: none;
  }
  
  #layout-content h1:first-child, #layout-content h2:first-child, #layout-content h3:first-child {
      margin-top: -0.7em;
  }
  
  div#toptitle h1, #layout-content div#toptitle h1 {
      margin-bottom: 0.0em;
      padding-bottom: 0.1em;
      padding-top: 0;
      margin-top: 0.5em;
      border-bottom: none;
  }
  
  div#toptitle, div#toptitle h1, div#toptitle a, div#subtitle, div#subtitle a {
      color: #666666;
      text-align: left;
  }
  
  div#toptitle a:hover {
      border-bottom: none;
  }
  
  
  div#toptitle h1 {
      color: #666666;
      margin-top: 0.1em;
      font-weight: bold;
      font-size: 25px
  }
  
  img {
      border: none;
  }
  
  img.eq {
      padding: 0;
      padding-left: 0.1em;
      padding-right: 0.1em;
      margin: 0;
  }
  
  img.eqwl {
      padding-left: 2em;
      padding-top: 0.6em;
      padding-bottom: 0.2em;
      margin: 0;
  }
  
  img.menu {
      padding: 0;
      padding-left: 0.1em;
      padding-right: 0.4em;
      padding-bottom: 1.2em;
      margin: 0;
  }