body
{
  background: #FFFFFF;
  color: #000000;
  font-family: sans-serif;
  padding: 0 20px 0 20px;
  margin: 0;
}

div
{
  margin: 0;
  padding: 0;
}

a
{
  color: #0040C0;
  text-decoration: none;
}

a:visited
{
  color: #003090;
}

a:hover
{
  color: #C06000;
}

/*************************************************************************/

#header
{
  margin-left: 11em;
}

#header h1 a, #header h1 a:visited
{
  color: #000000;
}

/*************************************************************************/

#menu
{
  float: left;
  width: 10em;
}

#menu h3
{
  font-size: 100%;
  font-weight: normal;
  margin: 0;
  padding: 3px 5px 3px 5px;
  background-color: #8CA6FF;
  border-style: solid solid none solid;
  border-color: #03007F;
  border-width: 1px;
}

#menu ul
{
  display: block;
  margin: 0 0 20px 0;
  background-color: #B7CEFF;
  padding: 3px 5px 3px 20px;
  list-style: none;
  border-style: solid;
  border-color: #03007F;
  border-width: 1px;
}

#menu li a, #menu li a:visited, #menu li a:active
{
  color: #000000;
}

#menu li a:hover
{
  color: #666666;
}

/*************************************************************************/

#content
{
  margin-left: 11em;
  width: 40em;
}

#content p
{
  text-align: justify;
}

#content img
{
  border-style: none;
}

#content .right
{
  float: right;
}

#content ol li
{
  margin-bottom: 1em;
}

#publications .links
{
  display: none;
}

/*************************************************************************/

#footer
{
  margin-left: 11em;
  font-size: 80%;
  clear: both;
}