/* Body classes */



body {
    font-family : Helvetica, FreeSans, 'sans-serif', Arial;
    font-size: 12pt;
  }


.body-yellow {
    background-color : #fff374;
  }


.body-green {
    background-color : #70ff70;
  }

/* Standard tags */



h1 {
    font-size : 48pt;
    font-weight: normal;
  }


a {
    text-decoration : none;
  }


a:hover {
    text-decoration : underline;
  }

/* Special formatting classes */


.mono {
    font-family: monospace;
  }


.small {
    font-size : 8pt;
  }

.comment {
    color: grey;
    font-style: italic;
  }