margin-left: .20in; }
					h3 { font-size: medium; margin-left: .25in; }
					h4 { font-size: large; text-align: center; width: 6in; }
					h5 { font-size: X-large; text-align: center; width: 6in; }
					div.intro { } 
					div.body { margin-top: 1.5in;} 
					code { font-family: monospace;} 
					  dl {
			    border: 3px double #ccc;
			    padding: 0.5em;
			    width: 6in;
			  }
					  dt {
			    font-weight: bold;
			  }
			  dd {
			    margin-bottom: 1em; 
			    padding: 0 0 0.5em 0;
			    font-s