body {
  background: #ffffff;
  color: #000000;
  margin: 0px;
  padding: 0px;
}

pre {
  margin: 10px;
}

#footer {
  text-align: center;
  border-top: 1px dashed #000000;
}

#header
{
  color: #000000;
  background: #ddeedd;
  border: 2px dotted #aaaaaa;
  margin: 5px;
  font-weight: bold;
  text-align:center;
/*  -moz-border-radius: 10px;*/
}

#header a
{
  color: #000000;
  text-decoration: none;
  font-size:18px;
  display: block;
}

#content
{
  padding: 10px;
}

#content table
{
/*  border: 2px dotted #000000;*/
}

#content ul
{
/*  list-style-position: inside;
  padding: 0px;*/
  margin-left: 10px;
  padding-left: 10px;
}

#content a 
{
  color: #000077;
  text-decoration: none;
  font-weight: bold;
}

#content a:hover
{
   color: #0000ff; 
}

#content h2
{
  font-weight: bold;
  text-align: center;
}

#content h3
{
  font-weight: bold;
  text-align: left;
/*  font-size:11pt; */
  font-size: 95%;
}

#menu
{ 
  font-size: 10pt; 
  white-space: nowrap;
}

#menu a
{
  padding: 2px;
  margin-bottom: 2px;
  display: block;
  color: #000077;
  background: #eeeeee;
  font-weight: bold;
  border: 1px solid #bbbbbb;
  text-decoration: none;
}

#menu .menulevel1
{
  margin-left: 1em;
}

#menu .menulevel2
{
  margin-left: 2em;
}

#menu .menunona
{
  padding: 2px;
  margin-bottom: 2px;
  display: block;
  color: #000000;
  background: #e0e0e0;
  font-weight: bold;
  border: 1px solid #aaaaaa;
}

#menu a:hover
{
  border: 1px #000077 dashed;
  background: #e0e0e0;
}

.box
{
  border: 2px #000000 solid; 
  background: #d0d0d0;
  padding: 2px;
  margin-top: 10px;
  margin-bottom: 10px;
  white-space: nowrap;
}

.box a
{
  color: #000000;
  font-weight: bold;
}

.news td
{
  vertical-align: top;
}

.news
{
  width: 100%;
}

.latest-news td
{
  background: #e0e0e0;
}

.download
{
  width: 100%;
}

.download td,
.download th
{
  background: #e0e0e0;
}

.download-empty td
{
  background: #ffffff;
}

#menu ul
{
  list-style-type: none;
  padding: 0px;
  margin-left: 0px;
  padding-left: 10px;
  margin-top: 0px;
  margin-bottom: 0px;
}

#menu .toplevelmenu
{
  padding-left: 0px;
}