 
 
	body {
		font-family: verdana,arial,helvetica,sans-serif;
		}
		
	div#container {
		width: 902px;
		margin: 0px auto;
		/*border: 1px solid #000;
		background-color: #f0f0f0; */
		}
		
	/**********/
 
	div#head {
		border: 1px solid #000;
		width: 900px;
		margin: 15px auto;
		}
	
	div#head img {
		padding: 0px;
		margin: 0px;
		display: block;
		}
	
	.name {
		margin: 0px;
		width: 100%;
		border-top: 1px solid #000;
		display: block;
		}
		
	.name a {
		font-size: 20px;
		color: #333;
		display: block;
		padding: 0px;
		margin: 0px;
		text-decoration: none;
		background-color: #eee;
		
		text-transform: lowercase;
		
		padding-left: 82px;		/* this gets removed by url.js  in favor of the #url1 attribute */
		}
		
	.name a:hover {
		background-color: #999;
		text-decoration: none;
		}
	
	
	#url1, #url2, #url3, #url4  {
		position: relative;
		left: 0px;
		}
		
	#url1 {
		padding-left: 82px;
		}
		
	.url {
		position: relative;
		display: none;
		color: #eee;
		}
	
	/***********/
	
	a {
		font-weight: bold;
		text-decoration: none;
		color: #07a;
		}
		
	a:hover {
		text-decoration: underline;
		}
		
	a img {
		display: none;
		}
	a:hover img {
		display: inline;
		border: 0px;
		height: 12px;
		position: relative;
		left: 50px;
		}
	
	
	div#menu {
		width: 160px;
		border-right: 1px solid #aaa;
		float: left;
		margin: 20px 0px 20px 0px;
		}
		
	div#menu ul {
		display: block;
		margin: 0px;
		list-style-image:none;
		list-style-position:outside;
		list-style-type:none;
		padding-left: 15px;
		}
		
	div#menu ul li {
		margin: 0px;
		display: block;
		}
		
	div#menu ul li a {
		padding-left: 10px;
		padding-top: 3px;
		padding-bottom: 3px;
		display: block;
		text-decoration: none;
		font-weight: bold;
		font-size: 13px;
		font-variant: small-caps;
		color: #0077AA;
		}

	div#menu ul li a:hover {
		background-color: #ddd;
				
		}
		
		
	div#content {
		float: left;
		margin: 10px;
		margin-left: 30px;
		width: 700px;
		font-size: 13px;
		line-height: 1.5;
		}
		
	div#content h1 {
		display: block;
		margin: 0px;
		color: #444;
		font-size: 16pt;
		font-variant: small-caps;
		}
		
	div#content h3 {
		display: block;
		margin: 0px;
		font-size: 13pt;
		padding: 0px;
		}
	div#content ul {
		margin: 0px;
		}
		
	pre.pgp {
		border: 1px dashed #000;
		padding: 10px;
		background-color: #eee;
		width: 500px;
		font-size: 8pt;
		}
		
	table td.label {
		color: #888;
		text-align: right;
		padding-right: 5px;
		}
		
	table td.value {
		font-weight: bold;
		padding-left: 0px;
		}
		
	div.clearfix {
		clear: both;
		}