body {
	margin: 0px 100px 0px 100px;
	background-color: #314e6c;
	color: #000000;
	/* 'Bitstream Vera Sans' looks nice with Linux, but ugly with Windows 
	   and it's hard to read there */
	/* font-family: 'Bitstream Vera Sans',Verdana,sans; */
	font-family: verdana,sans;
}

#page {
	margin: 0px;
	border-left: 1px solid black;
	border-right: 1px solid black;
	background-color: white;
	background-image: url("images/bg.jpg");
	background-repeat: repeat-x;
}

#title {
	position: absolute;
	top: 44px;
	left: 220px;
	font-style: italic;
	padding: 3px;
	margin: 0px;
}

#subtitle {
	position: absolute;
	top: 43px;
	right: 120px;
	color: gray;
	font-size: small;
	padding: 2px;
	margin: 0px;
}

#sectionnav {
	position: absolute;
	top: 250px;
	left: 120px;
	width: 120px;
	padding-right: 10px;
	background-image: url("images/navstripe.png");
	background-repeat: no-repeat;
	background-position: top right;
}

#sectionnav a {
	display: block;
	text-decoration: none;
	color: black;
	padding: 4px;
	font-size: small;
	padding-left: 16px;
}

#sectionnav a:hover {
	color: gray;
	background-repeat: no-repeat;
	background-position: center left;
}

#content {
	position: relative;
	margin: 0px 50px 20px 180px;
	padding-right: 10px;
}

#footer {
	text-align: center;
	color: gray;
	font-size: x-small;
	border-top: 1px solid #cccccc;
	margin-top: 30px;
}

#footer a:link, a:visited {
	color: #6060B0;	
}

h3 {
	border-bottom: 1px solid #cccccc;
}

hr {
	color: #023390;
	background-color: #023390;
}

kbd {
	font-size: 90%;
	white-space: pre;
	overflow: auto;
}

.screenshot {
	padding: 2px;
	margin: 2px;
	border-bottom: solid 1px #e0e0e0;
}

.screenshot .image {
	padding: 5px;
	width: 70%;
}

.screenshot .description {
	float: right;
	text-align: justify;
	padding: 5px;
	width:30%;
	font-size: smaller;
}

.navheader {
	margin-top: 50px;
}

cite {
	font-style: italic;
}

cite:before {
	content: "\201E"
}

cite:after {
	content: "\201C"
}

code {
	font-family: courier,courier-new,fixed;
	white-space: pre;
}

.note {
	background-color: #ffdb43;
	border: 1pt solid #6e8ae6;
	padding: 4pt;
	margin: 5pt;
}

.navbox {
	background-color: #6e8ae6;
	border: 1pt solid #ffdb43;
	padding: 4pt;
	margin: 5pt;
	text-align: center;
	font-family: Arial,Helvetica,sans-serif;
}

.navbox a {
	color: #ffffff;
}

pre.hashsum {
	background-color: #cfcfcf;
	/* margin: 1em; */
	overflow: auto;
	padding: 0.5em;
}

ul li {
	line-height: 1.3em;
}

ul.contriblist {
	margin: 0;
	padding: 1em 1em;
	list-style-type: none;
}

ul.contriblist li {
	list-style-type: none;
	display: inline;
	padding: 0 0.5em 0 0;
}

ul.contriblist li img{
	border: none;
}

sup {
	font-size: xx-small;	
}