
/* http://www.w3.org/TR/REC-CSS2/ */

body {
	font-family : Verdana, Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
	margin : 2px 2% 2px 2%; /* top, right, bottom, left */
	color : black;
	background-color : white;
	background-image : none;
}

h1, h2, h3 {
	color : black;
	background : rgb(147, 174, 255);
	border-style : none none solid none;
	border-width : thin;
	border-color : rgb(0, 0, 128);
	padding : 1px;
	margin : 2px auto 2px 0;
}

h1 {
	font-weight : bold;
	font-size : xx-large;
	width : 100%;
}

h2 {
	font-weight : bold;
	font-size : x-large;
	width : 80%;
}

h3 {
	font-weight : normal;
	font-size : large;
	width : 60%;
}

td {
	vertical-align : top;
}

pre {
	font-family: monospace;
}

p {
	text-align : left;
}

img {
	border : none;
	vertical-align : middle;
}

.modified {
	font-size : x-small;
}

.hide {
	display : none;
}

.poster {
	font-size : 150%;
}

.alert {
	color : red;
	background : white;
	font-weight : bold;
	border: thin solid red;
	padding : 3px;
}

.right {
	float : right;
}

a:link {
	background-color : white;
	color : blue;
}

a:visited {
	background-color : white;
	color : purple;
}

a:hover {
	background-color : yellow;
	color : red;
}

a:active {
	background-color : yellow;
	color : red;
}

a:focus {
	background-color : yellow;
	color : red;
}

#header {
	font-size : large;
}

#content {
	font-size : medium;
	margin : 0 11em 0 0;
	padding : 10px;
}

#navigation {
	font-size : small;
	color : black;
	background : rgb(147, 174, 255);
	width : 10em;
	float : right;
	position : fixed;
	overflow : auto;
	top : 4em;
	right : 2em;
	bottom : 1em;
	left : auto;
	padding : 5px;
	font-weight : bold;
}

#navigation a {
	text-decoration : none;
	display : block;
	width : 100%;
}

#navigation a:before {
	content : url('/images/right');
}

#navigation a:link {
	background-color : rgb(147, 174, 255);
	color : blue;
}

#navigation a:visited {
	background-color : rgb(147, 174, 255);
	color : purple;
}

#navigation a:hover {
	background-color : yellow;
	color : red;
}

#navigation a:active {
	background-color : yellow;
	color : red;
}

#navigation a:focus {
	background-color : yellow;
	color : red;
}

@media print {
	body {
		font-size : 12pt;
		margin : 0;
	}
	#navigation {
		display : none
	}
	#content {
		margin : 5px 10px 30px 10px;
		padding : 10px;
	}
}
