body {
    text-align: justify;
/*    font-family: "Bitstream Vera Sans", "Lucida Sans", sans-serif; */
    font-family: Tahoma, serifSansSerifMonospace,sans-serif;
/*    font-size: 10pt; */
    margin: 0 0 0 0;
    padding: 0;
/*    background: #D8FFFF; */
    background: #FFFFFF;
}

kbd {
/*    font-size: 120% */
}

table  {
    text-align: justify;
}

div.main {
  margin-left: 210px;
  padding: 8px 8px 8px 8px;
  background: #FFFFFF;
}

div.nav {
  background: #D8FFFF;
  float: left;
  position: fixed;
  padding-top: 8px;
  padding-left: 8px;
  padding-bottom: 8px;
  width: 190px;
  height: 100%;
  font-size: 80%;
  text-align: left;
  overflow: auto;
}

div.nav hr {
  margin: 0;
}

a:link, a:visited
{
  text-decoration: none;
  color: #0000FF;
}

a.down:hover, body.down a:hover, body.down a.down:hover, body.nonnorm a.down:hover,body.norm a.down:hover,body.ext a.down:hover
{
/*  background: #FFC080; */  /* #FFFF88; */
}

a.nonnorm:hover, body.nonnorm a:hover, body.down a.nonnorm:hover, body.nonnorm a.nonnorm:hover,body.norm a.nonnorm:hover,body.ext a.nonnorm:hover
{
/*  background: #C0FF88; */
}

a:hover
{
  background: #88FFFF /* #D4D4D4 */ ;
}

a.norm:hover, body.norm a:hover, body.down a.norm:hover, body.nonnorm a.norm:hover,body.norm a.norm:hover,body.ext a.norm:hover
{
/*  background: #88FFFF; */
}

a.ext:hover, body.ext a:hover, body.down a.ext:hover, body.nonnorm a.ext:hover,body.norm a.ext:hover,body.ext a.ext:hover
{
/*  background: #FFC0FF; */
}

ul.menu1, ul.menu2, ul.menu3, ul.menu4, ul.menu5 {
  list-style: none;
  padding-left: 12px;
  margin-left: 0;
  margin-top: 6px;
  margin-bottom: 6px;
}


ul.menu1 li, ul.menu2 li, ul.menu3 li, ul.menu4 li, ul.menu5 li {
  margin-top: 1px;
  margin-bottom: 1px;
}

ul.menu0 {
  list-style: none;
  padding-left: 0;
  margin-left: 0;
/*  margin-top: 9px; */
}

h1, p.center {
  text-align: center;
  font-weight: normal;
}

h2, h3, h4, h5 {
    padding-top: 10pt;
    font-weight: normal;
}

div.ev {
  text-align: justify;
/*  padding: 8px 8px 8px 8px; */
  padding-top: 0;
  padding-bottom: 0.5ex;
  margin-left: -20px;
  margin-right: 0;
/*  margin: 0.5ex; */
/*  margin-top: 10px;
  margin-bottom: 10px; */
  padding-left: 20px;
  background: #FFFFBC;
/*  width: 99%; */
}

div.rouge {
  color: #FF0000;
}