*{
  padding:0;
  margin:0;
}

body{
  height: 100%;
  margin: 1% 2%;
  padding: 0;
  /*font-family: arial;*/
  font-family: Georgia;
  font-size: 12pt;
  color: #444;
  background-color: #ddd;
  line-height: 180%;
}

#container{
  margin: 1em 2em 5%;
  background-color: #FFE;
  background-image:  url("images/vertical.gif");
  background-repeat: repeat-y;
  background-position: 10px;
  border: 1px solid #222;
  min-height:300px;
}

#banner {
  background: url("images/atmenet-50.png");
  background-repeat:repeat-x;
}

#banner h1 {
  margin: 0;
  font-size:180%;
}

#nav {
  float: left;
  width: 185px;
  margin-left: 10px;
  padding-top: 1em;
}

div.indent{
  margin-left: 40px;
}

div.code {
  margin-left:auto;
  margin-right:auto;
  margin-top: 10px;
  margin-bottom: 15px;
  width: 75%;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-right: 20px;
  padding-left: 20px;
  font-family: courier;
  letter-spacing: .8px;
  word-spacing: 1px;
  border: thin dashed #333;
  background: #ccc;
}

#nav p {
  padding:0px;
  }
		
#content{
  text-align: justify;
  padding-top: 1em;
  margin: 0 2em 0 200px;
}

#content h2{
 margin-top: 0;
 margin-bottom: 40px;
 border-bottom: 3px solid;
}

#content h3 {
 margin-left: 25px;
 margin-bottom: 10px;
 border-bottom: 1px solid;
}

.listing{
 padding:8px 0px 10px 40px;
}

blockquote{
  padding-bottom:15px;
  font-style:oblique;
}

#content p{
  padding:5px 0px 10px 40px;
}

#footer	{
  clear: both;
  background-color: #666;
  padding: 0.4em;
  text-align: right;
  border-top: 3px solid #333;
}

.menu {
  padding:0;
  width: 170px;
  border-style: solid solid none solid;
  font-weight: bolder;
  font-size:90%;
  border-color: #D76100;
  border-width: 1px;
}

.menu li {
  list-style-type:none;
}
	
.menu li a {
  height: 32px;
  height: 24px;
  text-decoration: none;
}

a:link, a:visited{
  color: #9E3C02;
  display: inline;
}

.menu li a:link, .menu li a:visited {
  display: block;
  background: url("images/menu.png");
  padding: 8px 0 0 30px;
}
	
.menu li a:hover {
  color: #fff;
  background: url("images/menu.png") 0 -32px;
  padding: 8px 0 0 30px;
}
	
.menu li a:active {
  color: #fff;
  background: url("images/menu.png") 0 -64px;
  padding: 8px 0 0 30px;
}

span.highlight {
  color: #E42217;
  font-weight: bolder;
}

img.arc {
  float:right;
  width:100px;
}

li.hidden{
  list-style-type:none;
}

dl {
  padding:8px 0px 10px 40px;
  width:95%;
  overflow:hidden;
}

dt {
  font-weight: bolder;
  float:left;
  width:8em; /* adjust the width; make sure the total of both is 100% */
}

dt.img {
  font-weight: bolder;
  float:right;
  width:8em; /* adjust the width; make sure the total of both is 100% */
}

.selected {
 background-color: #FD0;
 border-radius: 8px;
 margin:15px 0px;
}