body { 
  margin: 0px;
  padding: 0;
  font-family: Sans-Serif;
}

h1 { 
  margin: 20px 0px 10px 0px;
  color: #888;
  font-size: 1.4em;
}

h2 { 
  margin: 5px 0px 10px 0px;
  color: #888;
  font-size: 120%;
}

h3 { 
  margin: 5px 0px 3px 0px;
  color: #888;
  font-size: 100%;
}

p {
  margin: 5px 0px 10px 0px;
}


.logo {
  position: absolute;
  top: 100px;
  left: 50px;
}

.intro {
  margin-top: 5em;
  text-align: center;
}

.intro img {
  border: 0px;
}

.intro a {
  border: 0px;
}

.intro h1 {
  font-size: 2em;
}


.navigation { 
  background-color: #eee;
  border-top: 1px solid #999;
  border-bottom: 1px solid #999;
  padding: 4px;
}

.navigation a { 
  text-decoration: none;
  padding: 4px 20px 4px 20px;
  color: black;
  border-right: 1px solid #999;
}

.navigation a:hover { 
  background-color: white;
  border-bottom: 3px solid white;
}

.content { 
  clear: both;
  margin: 0px 100px 0px 180px;
  padding: 5px 20px;
  background: rgb(255, 255, 255) none repeat scroll 0%;
}

.content a {
  border: 0px;
  color: #700;
}

.memberdescr {
  margin-left: 30px;
  margin-top: 0px;
}

#certificates {
  text-align:   right;
  margin-top:   10px;
  margin-right: 95px;
}

.noborder {
  border: 0;
}

.syntaxtree {
  border: 1px solid silver;
}

#nav2 {
  float: left;
  width: 100%;
  font-size: 92%;
  line-height: normal;
  background:#DAE0D2 url("../www/images/bg.gif") repeat-x bottom;
  margin: 0 0 10px 0;
}

#nav2 ul { 
  margin: 0;
  padding:10px 10px 0;
  list-style: none;
}

#nav2 li {
  padding:0 0 0 9px;
  background: url("../www/images/left.gif") no-repeat left top;
  margin: 0;
  float: left;
}

#nav2 a {
  background: url("../www/images/right.gif") no-repeat right top;
  display: block;
  padding:5px 15px 4px 6px;
  text-decoration: none;
  font-weight:bold;
  color:#765;
}

#nav2 #active   { background-image: url( "../www/images/left_on.gif" ); }
#nav2 #active a { background-image: url( "../www/images/right_on.gif" ); padding-bottom: 5px;}

.hl {
    padding: 2px;
    background-color: #ff9;
    color: black;
}