body {
  font-size: 14px;
  background-color: white;
  font-family: Tahoma, sans-serif;
  color: #403a76;
}

a {
  text-decoration: none;
  color: #6783e0;
}

a:hover {
  /*background-color: #f2f2f2;*/
  text-decoration: underline;
}

span.seminarTitle {
  font-weight: bold;
}

span.seminarAuthors {
  color: #3d62d7;
  font-weight: bold;
}

td.seminarAnnounce {
  background-color: #f2f2f2;
}

a.shaded {
  font-size: 12px;
  color: #858585;
}

a.menuline {
  /*background-color: #e5ecff;*/
  font-family: Helvetica, sans-serif;
  font-weight: bold;
  font-size: 14px;
  color: #6783e0;
}

td.menuline {
  font-family: Helvetica, sans-serif;
  font-size: 14px;
}

th.pageTitle {
  font-weight: bold;
  font-size: 20px;
}

th.pageSubtitle {
  font-weight: bold;
  font-size: 16px;
}

span.math {
  font-family: Times;
  font-style: italic;
}

span.parheader {
  font-family: Helvetica, sans-serif;
  font-weight: bold;
}

img.floatright {
  float: right;
  margin: 5px;
}