body {   font-size: 15px;
         font-family: helvetica
}


h1 { font-family: sans-serif;
     font-size: 25px
}



pre { font-size: 12px;
      font-family: fixed;
      indent: 50px;
      left-margin: 50px;
}