/* Stylesheet definitions */

body, html {
	height: 100%;
}

body {
	margin: 0px;
	background-color: white;
	color:            black;
	font-family:      Arial, Helvetica, Sans;
}

hr {
	border: 0;
	color: #c10000;
	background-color: #c10000;
	height: 1px;
	width: 100%;
}

h1, h2, h3, h4 {
	color: #c10000;
}
	 
a:link    {color: #c10000;}
a:visited {color: #c10000;}
a:active  {color: #ff0000;}
a:hover   {color: #ff0000;}

a img {
	border: none;
}

div.content {
	width: 80%;
	margin-left: auto;
	margin-right: auto;
}

div.footer {
	margin-top: 100px;
	width: 100%;
	text-align: center;
	color: #c10000;
}
.footer a {
	text-decoration: none;
}
.footnote {
	font-size: 8pt;
}

div.splash {
	text-align:center;
}

table.vertcenter {
	width: 100%;
	height: 100%;
}
vertcenter td {
	vertical-align: middle;
}

.highlight {
	font-weight: bold;
	color: #c10000;
}

img.gallery {
	border: 2px solid #c10000;
}

.notice {
	border: 1px solid #c10000;
	padding: 5px;
	background-color: #eeeeee;
}