body {
  font-family : helvetica, didot;
}

div#mainmatter {
  margin-right : 1in;
}

td {
  vertical-align : top;
  font-size : 10pt;
}

td.enforced, span.course {
  font-size : 12pt;
  font-weight : bold;
  color : maroon;
}

td.enforced {
  min-width : 4in;
}

th.wider {
  min-width : 2in;
}

table.links tr td {
  color : black;
  font-size : 10pt;
  background-color : #EEEEEE;
  border : thin solid black;
}