BODY {
  margin: 0;
  padding: 0;
  font-family: arial, helvetica, sans-serif;
  font-size: 13px;
  color: black;
}

TD, P, A, I, OL, UL, LI {
  font-size: 13px;
}

H1 {
  font-size: 19px;
}

H2 {
  font-size: 17px;
}

H3 {
  font-size: 15px;
}

H4 {
  font-size: 13px;
}

A:link {
  color: navy;
  background-color: transparent;
}

A:visited {
  color: navy;
  background-color: transparent;
}

A:hover {
  color: purple;
  background-color: transparent;
}

#navigation a {
  background: #eeeeee;
  color: black;
  font-weight: bold;
  text-decoration: none;
  padding: 6px;
  margin-right: 6px;
  border-left: 2px solid #aaaaaa;
  border-bottom: 2px solid #aaaaaa;
}

#navigation a:hover {
  background: #aaaaaa;
  color: white;
  border-left: 2px solid #eeeeee;
  border-bottom: 2px solid #eeeeee;
}

.barlink {
  font-size: 13px;
  font-weight: bold;
  color: white;
  text-decoration: none;
}

.navlink {
  font-size: 13px;
  font-weight: bold;
  text-decoration: none;
}

.navlinkbig {
  font-size: 14px;
  font-weight: bold;
  text-decoration: none;
}

.faded {
  color: gray;
}

.papertitle {
  font-weight: bold;
  font-size: 13px;
  color: black;
}

.bookname {
  color: maroon;
}

.journalname {
  color: maroon;
}

.confname {
  color: maroon;
}

.awardfont {
  color: green;
}