div#title {
	font-size: 140%; 
	font-weight: bold; 
	line-height: 150%;
	color: #555;
	}
div#photo {
	text-align: center; 
	margin: 2em auto; 
	font-size: 85%; 
	line-height: 120%; 
	color: #555;
	width: 600px;
	}
div#photo img {
	border: 1px solid gray;
	}
div#slide {
	float: right; 
	margin: 0 0 0 2em; 
	width: 260px;
	}
div#osinfo {
	margin: 0; clear: both;
	}
div.photoimg {
	float: left; margin: 0 20px;
	}
span.header {
	color: #800000;
	}
h3 {
	border-bottom: 1px solid #800;
	overflow: hidden;
	}
ul.notop {
	margin-top: 0; margin-bottom: 0;
	}
table.table {
	font-size: 85%; 
	border: 1px solid #666; 
	border-collapse: collapse; 
	margin-left: 2%;
	}
table.table td, table.table th {
	vertical-align: top; 
	padding: 2px 6px; 
	border: 1px solid #666;
	}
table.table th {
	background-color: #dbd6c8;
	}
span#maplink {
	font-weight: normal;
	font-size: 75%;
	}