html {
  background-color: #81B1AD;
  padding: .1em 2%;
}

#banner {
  padding:15px; 
  font-family:verdana, arial, sans-serif;
}   


#banner H1  {
   font-size: 2em;
   font-weight: normal;
}

#banner h1 {
  margin: 0; 
 padding: 0 0 0 0; 
}

#banner H1 A {
   text-decoration: none;
}

#banner .description {
		font-family:verdana, arial, sans-serif;
		font-weight:bold;
      font-size: 60%;
  		text-transform:none;	
		letter-spacing: .2em;
}	


#banner .description {	color:#334745;				}	

.example, .grammar, .algorithim {
   background: #efefef;
}


div.navigation {

}

div.navigation  ul {
   margin-left: 2em;
   margin-right: 2em;
   margin-top: 0px;
   margin-bottom: 0px;
   padding-left: 3em;
   padding-top: 1em;
   padding-bottom: 0.2em;
   font-family: sans-serif;
   font-size: small;
   background-color: #A6C9C5;;
}

div.navigation li {
   list-style: none;
   margin: 0;
   display: inline;
   margin-left: 1em;
   padding: 3px;
}

div.navigation .current a {
   color: black;
   text-decoration: none;
}

h2 {
  font-family: veranda, arial, san-serif;
}


#content {
  background-color: #CCE0DE;
  padding: 0;  
  margin: 0 auto;
  min-height: 95%;  
}

#content p {
  padding-left: 16px;
  padding-right: 16px;
}

#content h2 {
  padding-left: 16px;
  padding-right: 16px;
}


#content:before {
  background: transparent url(/images/corners/81b1ad/tr.png) scroll no-repeat top right;
  margin-bottom: -20px;
  height: 10px;
  display: block;
  border: none;
  content: url(/images/corners/81b1ad/tl.png);
  padding: 0;
  line-height: 0.1;
  font-size: 1px;
}

#content:after {
  display: block;
  line-height: 0.1;
  font-size: 1px;
  content:  url(/images/corners/81b1ad/bl.png);
  margin: 0 0 -1px 0;
  height: 10px;
  background: white;
  background: transparent url(/images/corners/81b1ad/br.png) scroll no-repeat bottom right ;
  padding: 0;
}