a {
    text-decoration: none;
  }
  @font-face {
    font-family: OpenSans;
    src: url(OpenSans-Regular.ttf);
  }
  
  @font-face {
    font-family: DroidSansMono;
    src: url(DroidSansMono.ttf);
  }
  
    a {
    text-decoration: none;
  }  
  
  body {
    width: 600px;
    margin-right: auto;
    margin-left: auto;
    font-family: OpenSans, Arial, Helvetica, sans-serif;
    font-size: 12pt;
  #  background-image: url(paper.gif);
  }
  
  pre {
    font-family: DroidSansMono, Courier, Menlo, monospace;
    background-color: #E9E9E9;
  }
  h1 {
    font-size: 16pt;
    font-weight: bold;
  }
  
  h2 {
    font-size: 14pt;
    font-weight: bold;
  }
  
  h3 {
    color: purple;
    font-size: 12pt;
    font-weight: bold;
  }
  
  h4, h5, h6 {
    font-size: 14pt;
    font-weight: bold;
  }
  
  
  /* div class="content" separates background from body background*/
  .content {
    padding-top: 6pt;
    padding-bottom: 6pt;
    padding-right: 6pt;
    padding-left: 6pt;
    background-color: #FFFFFF;
  }
  
  /* for code snippets */
  span.inline_code  {font-family:"Courier New"}
  span.code_comment {font-family:"Times New Roman"}
  
  /* These code-snippet classes should have about the same styling */
  
  /* inline code */
  span.inline_code  {font-family:"Courier New";
                font-weight:bold;}
  
  /* one line of code, with no box. */
  div.code_line {font-family:"Courier New";
                font-weight:bold;
                margin-left: 4em;
                margin-right:4em}
  
  /* Code in a box.  May be used with <pre> tag. */
  div.code_box {font-family:"Courier New";
                font-weight:bold;
                border: 1px solid black;
                padding: 1em;
                margin-left: 3em;
                margin-right:3em}
  
  /* Include a file and show it as code in a box. .*/
  /* This only works reliably if the mime type is set text/plain using the .htaccess file*/
  object.code_include {font-family:"Courier New";
                border: 1px solid black;
                padding: 1em;
                margin-left: 3em;
                width: 40em;}