body {
  font-family : "Arial", "Helvetica", Sans-serif;
  font-size : 18pt;
  color : #000000;
}

.copyright {
   font-weight : normal;
   font-size : 8pt;
   font-family : "Arial", "Helvetica", Sans-serif;
   color : #000000;
   text-decoration : none;
}

.menuItem {
   font-weight : bold;
   font-size : 10pt;
   font-family : "Arial", "Helvetica", Sans-serif;
   color : #000000;
   text-decoration : none;
}

pre.sourcecode {
   background-color : #e0ffff;
   border-width : medium;
   border-style : outset;
   border-color : silver;
   white-space : pre;
}

.course {
  font-size :10pt
}