/* Whole document: */
  body{
    font-family: Helvetica;
    font-size: 13pt;
  }
/* Headers */
  h1,h2,h3,h4,h5,h6{
    font-size: 20pt;
    margin-top: 3pt;
  }