body{
  margin, padding: 0;
  background: #F7F8FC;
  font-family: Arial,Helvetica,sans-serif;
}
h1{
  background: #E7EBF7;
  color: #333;
  margin: 0px;
  padding: 5px 15px 5px 10px;
  font-size: 16pt;
  letter-spacing: 1px;
  border-top: 6px solid #D0D8F0;
}
h2{
  background: #E7EBF7;
  color: #333;
  margin: 0px;
  padding: 0px 20px 5px 15px;
  font-size: 14pt;
  letter-spacing: 1px;
  border-bottom: 6px solid #D0D8F0;
}

div#menu{
  background: #F1FBF3;
  float: left;
  width: 110px;
  margin-left: 0;
  padding: 0;

  border-right: 1px solid #D0D8F0;
  border-bottom: 6px solid #D0D8F0;
}

div#sitemeter, div#sourceforge{
  margin-left: 7px;
  margin-bottom: 10px;
}

div#main{
  margin-left: 114px;
}

.element {
  font-size: x-small;
  margin: 10px 10px;;
  background: #C3DEAB;
}

.element h3{
  font-size: small;
  font-weight: bold;
  margin: 0.33em 0.33em 0em 0.33em;
}

.element p,a, h4{
  margin: 0.5em 0.33em 0.33em 0.33em;
}

h4{
  margin-top:1.2em;
  margin-bottom:-0.33em;
  font-weight: bold;
}

.element.home-top{
  background: #F0E8C6;
  width: 600px;
}


.element.text.outer{
  background: transparent;
}

.element.text.inner{
  color: #333;
  background: transparent;
  margin:0;
  width: 95%;
}

.element.text h3{
  color: black;
  font-size: small;
  padding-bottom:2px;	
  border-bottom: 5px dotted #0B9A27;
  margin-bottom: -3px;
}

.element.text p{
  font-size: x-small;
  line-height: 1.33em;
  margin: 0.67em 0.33em 0.33em 0.33em;
}

li{
  line-height: 1.33em;
}

.element.menu{
  font-family: Ariel, sans-serif;
  border: none;
  background: transparent;
}

.element.menu h3{
  font-size: 10pt;
  margin: -5px 0 0;
  padding: 3px 0 1px;
  color: black;
  /*border-bottom: 2px solid #C7193F;*/
}

.element a{
  color: black;
  text-decoration: none;
}

.element.menu a{
  display: block;
  font-size: 9pt;
  margin: 0 0 0 3px;
  padding: 1px;
}

.element a{
  color: #01248C;
  text-decoration: none;
}

.element a:hover{
  color: #01248C;
  background: #9FE0AB;
  text-decoration: underline;
}

.element.menu a:hover{
  background: transparent;
}

.detail{
  color: #88011E; 
  font-family: Ariel, sans-serif;
  font-size: x-small;
}