body {
   font-family: sans-serif, Arial;
   background: lightgrey;
}

A {
  color: #0000FF;
  text-decoration: none;
}

A.slides {
  color: #0000FF;
  text-decoration: none;
}

A.code {
  font-family: Courier;
  font-weight: bold;
  color: green;
  text-decoration: none;
}


A.homework {
  color: red;
  font-weight: bold;
  text-decoration: none;
}

P {
  font-size: small;
}

table {
  background: white;
  border: 1pt solid black;
}

TD {
  border: 0pt solid black;
  border-bottom: 1pt solid black;
  padding-left: 10pt;
  padding-right: 10pt;
}

TD.pagemenu {
  font-size: medium;
  color: blue;
  align-text: right;
}

TD.pagemenu-current {
  font-size: medium;
  font-weight: bold;
  color: blue;
  background: white;
}