body {	font-family: Palatino, serif;}/*Banner: make the standard h1 look like a fancy banner*/h1 {	padding: 30px;	margin: 0px;	height: 90px;		font-size: 80px;	font-weight: normal;	letter-spacing: .05em;	vertical-align: middle;	background: #517C9E url(images/banner3.jpg);	background-repeat: none;	color: white;}h1 span.article { 	font-size: 36px;	font-style: italic;	vertical-align: inherit;}/*Heavy-formatting for the nav menu: most of the usual list andanchor properties are removed and replaced*/div.nav {	position: absolute;	top: 170px;	left: 10px;	width: 10em;	background: #517C9E;	color: white;}div.nav ul.menu {	list-style-type: none;	padding: 0px;	margin: 0px;}div.nav ul.menu li {	padding-top: 3px;	padding-bottom: 2px;}li.menu1, li.menu1-current, li.menu2, li.menu2-current, li.menu3, li.menu3-current {	border-top: solid 1px #80A0B8;	border-bottom: solid 1px #426581;}li.menu1, li.menu1-current {	font-weight: bold;	text-indent: -1.5em;	padding-left: 1.5em;}li.menu2, li.menu2-current {	text-indent: -1.5em;	padding-left: 2.5em;}li.menu3, li.menu3-current {	font-size: 90%;	text-indent: -1.5em;	padding-left: 3.5em;}li.menu1-current, li.menu2-current, li.menu3-current {	color: #b0c5d4;	border-top: solid 1px #426581;	border-bottom: solid 1px #80A0B8;}div.nav ul.menu a {	text-decoration: none;	color: white;}div.nav ul.menu a:hover {	text-decoration: underline;}div.nav div.search {	margin-top: 2em;}div.nav div.search div {	font-size: 80%;}div.nav div.search a {	font-weight: bold;	text-decoration: none;	color: white;}div.nav div.copyright {	margin-top: 3em;	font-size: 70%;	text-align: center;}div.nav div.copyright a img { border: none }div.content {	position: absolute;	top: 170px;	left: 12em;	width: 73%;	float: left;}div.content h3 {	margin-top: 0;}div.photolinks {	padding-top:5px; 	padding-bottom:5px; 	padding-left:10px; 	font-family:Arial; }