body
{ 
  font-family: Tahoma; 
  font-size: 12px; 
  color: #000000;
  margin: 10px 10px 10px 10px;
  border: 2px solid black;
  width: 760px;
  background-color: #F2F2F2;
}

table
{ 
  font-family: Trebuchet MS, Arial, Sans Serif; 
}

h1
{ 
  font-family: Verdana, Arial, "Sans Serif"; 
  font-size: 16px; 
  color: #990000; 
  font-weight: bold; 
  margin-bottom: 10px;
  padding-bottom: 5px;
  border-bottom: #990000 1px solid;
  width: 80%;  
}

h2
{ 
  font-family: Verdana, Arial, "Sans Serif"; 
  font-size: 14px; 
  color: #990000; 
  font-weight: bold; 
  margin-bottom: 0;
  margin-top: 30px;
}

.emphasis
{
  font-style: italic;
  font-weight: bold;
  
}

.emphasis2
{
  font-style: italic;
  font-weight: bolder;
  color: red;
}


.smalltext    
{ 
  font-family: Arial, Sans Serif; 
  font-size: 10px; 
  color: #000000; 
}

#news
{
  margin-top: 10px;
}

#newstitle
{
  font-family: Verdana, Arial, "Sans Serif"; 
  font-size: 12px; 
  font-weight: bold;
  color: white; 
  background-color: #0065CC;
  display: table;
  padding-bottom: 3px;
}

#newsbody
{
  border: 1px solid #0065CC;
  background-color: #F2F2F2;
}

.new 
{
  padding: 5px 5px 5px 5px;
}

.newtitle     
{ 
  font-family: Trebuchet MS, Arial, Sans Serif; 
  color: red;
  font-weight: bold;
  font-size: 12px; 
}

.newbody     
{ 
  font-family: Trebuchet MS, Arial, Sans Serif; 
  font-size: 12px;
}

.blackrow
{
  color: white;
  background-color: black;
  font-weight: bold;
}

ul { list-style-type: square}

.code { font-family: "Courier New", Courier, mono; font-size: 11px}

#container
{
  font-family: "Trebuchet MS", Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: 12px;
  padding: 4px;
  background-color: #fff;
}

#header
{
  border-bottom: 2px solid black;
  padding: 4px;
  margin: 0px;
  background-color: white;
}

#navigator
{
  float: left;
  width: 176px;
  /*margin: 0px;*/
  margin-right: 10px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-right: 10px;
  border-right: solid #E0E0E0 1px;
}

#menu
{
  background: white;
  border-right: solid #120499 3px;
}

#menu a, menu a:visited
{
  font-family:	Arial,sans-serif;
  display: block;
  padding-top: 1px;
  padding-bottom: 1px;
  border-bottom: 1px solid #120499;
  text-decoration: none;
  color: #120499;
  padding-left: 10px;
  font-weight: bold;
}

#menu a:hover
{
  padding-bottom: 0px;
  padding-top: 0px;
  border-top: 1px solid #120499;
  border-bottom: 2px solid #120499;
  background-color: #aaa1ff;
  color: white;
  font-weight: bold;
}

#menu a.l1
{
  padding-left: 20px;
}

#menu a.l2
{
  padding-left: 30px;
}

#contents
{
  margin-left: 180px;
  padding-left: 30px;
  padding-right: 70px;
  text-align: justify;
}

img
{
  border-style: none;
}

/*#contents img
{
  border: 2px solid black;
  border-style: solid;
  border-color: #120499;
  border-width: 2px;
}*/

#footer
{
  clear: both;
  border-top: 1px solid #120499;
  font-size: 10px;
}

#postgresql
{
  margin-top: 30px;
}

.spacedimage
{
  margin: 0px 10px 10px 10px;   
}

.infobox
{
  width: 350px;
}

.infobox dt
{
  float: left;
  width: 140px;
  font-weight: bold;
}

.infobox dd
{
  margin: 0px;
}

.download_container
{
  margin-top: 30px;
}

.download_container table 
{
  width: 100%;
  border-bottom: solid 1px black;
}

/*.download_container h2 
{
  color: white;
  background-color: #990000;
  display: table-cell;
}*/

.download_container table th 
{
  color: white;
  background-color: black;
  font-weight: bold;
}
