a:hover { 
	background-color: #666666; 
}

a:visited {
	color: #aaaaaa;
}

a:link {
 	color: #ddddff;
}

td {
	padding: 3px;
	font-size:small;
        vertical-align: top;
}

body {
	background-color: #111111;
	background-image: url(background.png);
	color:white;
	margin-left:10%;
	margin-right:20%;
	font-size:small;
	line-height: 120%;
	font-family: verdana, arial, helvetica, Sans-Serif;
}

h1 {
	font-family: verdana, arial, helvetica, Sans-Serif;
	text-align: left;
	margin-top: 5%;
	margin-right: 10%;
}

h1 a:link {
	font-family: verdana, arial, helvetica, Sans-Serif;
	text-decoration: none;
	color: #002288;
}

h1 a:visited {
	font-family: verdana, arial, helvetica, Sans-Serif;
	text-decoration: none;
	color: #002288;
}

h3, h4, h5, h6 {
	font-family: verdana, arial, helvetica, Sans-Serif;
}

h2 {
	font-family: Times, Times Roman, Serif;
	font-variant: small-caps;
	color: #eeeeff;
	background: #5555dd;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
	padding-left: 2%;
}

div.header p.status { text-align: right; }
div.header p.last-modified { text-align: left; }

dt {
	font-weight: bold;
	margin-top: 2ex;
	margin-left: 1em;
}

address {
	color: gray;
	background: #eeeeee;
	text-align: right;
	font-family: Times, serif;
	font-style: normal;
	font-variant: normal;
	font-weight: normal;
}

pre {
	border-right: #646464 1px solid;
	padding-right: 0.5em;
	border-top: #646464 1px solid;
	padding-top: 0.5em;
	border-left: #646464 1px solid;
	padding-left: 0.5em;
	border-bottom: #646464 1px solid;
	padding-bottom: 0.5em;
	white-space: pre;
	background-color: #f6e6e6;
	color: black;
	margin-left: 1em;
	width: 90%;
	display: table;
	font-size: 120%;
}