body {
	margin-left: 5%;
	margin-right: 5%;
	background-color: #ffffff;
	line-height: 1.5em;
	font-size: 90%;
}
a:visited {
	color: #0000aa;
}
a img {
	border: solid #0000ff 2px;
}
ul#top_navigation {
	text-align: right;
	list-style: none;
}
div {
	margin:0.5em;
}
div.navigation {
	text-align: right;
	clear: both;
}
div#bottom_navigation {
	text-align: center;
}
address {
	text-align: right;
	border-top: #0066ff solid 3px;
	font-style: normal;
	padding-top: 0.5em;
}
h1 {
	text-align: center;
	color: #000099;
	line-height: 1.2em;
}
h1 #subtitle {
	font-size: 80%;
	color: #000000;
}
h1 #subtitle u {
	color: #000099;
}
div#contents {
	text-align: center;
}
ol {
	text-align: left;
	width: 10em;
	list-style: decimal inside;
	margin-left: auto;
	margin-right: auto;
}
h2 {
	background-color: #0066ff;
	color: #ffffff;
	padding: 0.2em;
}
h3 {
	background-color: #0066ff;
	color: #ffffff;
	padding: 0.2em;
	margin-left: 1em;
	margin-right: 1em;
}
h4 {
	background-color: #0066ff;
	color: #ffffff;
	padding: 0.2em;
	margin-left: 2em;
	margin-right: 2em;
}
div.h3 {
	margin-left: 1.5em;
	margin-right: 1.5em;
}
div.h4 {
	margin-left: 2.5em;
	margin-right: 2.5em;
}
p {
	text-indent: 1em;
}
.img {
	text-align: center;
}
.caption {
	text-indet: 0em;
	margin: 0;
	text-align: center;
}
td {
	vertical-align: top;
	line-height: 1.5em;
	font-size: 90%;
}
table.imgs {
	margin: 0 1em;
	padding: 0.5em;
}
table.movies, table.history {
	border-collapse: collapse;
	border: solid #0066ff 2px;
	margin: 0 1em;
	padding: 0.5em;
}
table.movies td, table.history td {
	border: solid #0066ff 1px;
	padding: 0.3em;
}
table.history dt {
	font-size: 150%;
	font-weight: bold;
}
table.history dd {
	margin-left: 0.5em;
}
table.history dl {
	margin: 0;
}
table.history p {
	margin: 0.5em;
}

span.year {
	font-size: 80%;
}
span.vector {
	font-family:Times;
	font-weight:bolder;
}