body
{
  background-image: url("concrete.png");
  background-repeat: repeat;
}

:link
{
  color: #450084;
}

:visited
{
  color: #450084;
}

a:active
{
  color: #450084;
}

a:hover
{
  background-color: #C2A14D;
}

a.contents
{
  font-size: large;
  font-weight: bold;
}

table#contents
{
  font-size: large;
  font-weight: bold;
}