body {
	  margin-top: 10px;
	  margin-right: 10px;
	  margin-bottom: 5px;
	  margin-left: 10px;
	  background-color: #005000;
	  }
h1 {   font-size: 1.6em;
      line-height:1.4em; 
      font-family: arial; 
      color: #fedcba;
	  } 
h2 {
	  font-size: 1.4em;
      line-height:1.3em;
      letter-spacing: 0.05em; 	  
      font-family: arial;
	  color: #EFDCBC;} 
   
h3 {	  font-size: 1.1em;
      line-height:1.05em; 
      font-family: arial; 
      color: #ffddee;
     } 
	
   p { line-height:1.4em; font-size: 1.25em;
      letter-spacing: 0.03em; 
	  font-family: arial; color: #e6d6c6; 
	  padding: 0px 10px 0px 10px;}	
div { font-size: 1.2em;
      line-height: 1.5em; 
	  font-family: arial;
	  letter-spacing: 0.03em; 
	  color: #EFDCBC; 
	  padding: 10px 20px 10px 20px;}

	  
	  
a     {  font-size: 110%; 
      font-weight:bold; 
	  color:#abcdef; 
	  text-decoration:none }


pre {  color: #EFDCBC;
      line-height: 1.2em; 
	  font-size: 1.35em;
	  

	}