/*
 * docstyle.org 0.8 - Smart web publishing
 *
 * Copyright (c) 2007 Staffan Olsson (docstyle.org)
 * Dual licensed under the MIT (MIT-LICENSE.txt)
 * and GPL (GPL-LICENSE.txt) licenses.
 */

/* --- docstyle.org distributed css --- */
@import "docstyle-files/icons.css";
html {min-height: 100%;}
body {
	background-color: #808080;
	margin-left: 40px;
	width: 700px;
	padding: 1.5em;
	margin-top: 0px;
	margin-bottom: 0px;
	background-color: #FFFFFF;
	border-left: 1px solid #C4C4C4;
	border-right: 1px solid #A4A4A4;
	font-size: 105%;
	line-height: 1.3;
}
/* text style */
p, ul, ol {
	font-family: Georgia, "Times New Roman", serif;
	color: #222;
}
h1, h2, h3 {
	font-family: sans-serif;
	padding-top: 1em;
	color: #444;
}
h1 {
	color: #455;
}
h2 {
	font-weight: normal;
}
h3 {
	font-weight: normal;
}
a {
	color: #003399;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}
a.external {
	/* todo: add an exit symbol */
}
code {
	font-size: 92.5%;
}
img {
	border: 0px;	
}
p img, legend img, button img {
	vertical-align: middle;
}
/* page layout */
.clearer {
	clear: both;
	font-size: 0;
}
.left {
	float: left;
}
.right {
	float: right;
}
.rightmargin {
	position: absolute;
	left: 800px;
	border: 1px solid white;
}
.rightmargin:hover {
	z-index: 99;
	border: 1px solid white;
}

/* --- browseronly customizations --- */
h1 {
	font-size: 400%;
	font-weight: bold;
	letter-spacing: .2em;
	color: #5D2D00;
	padding-top: 0px;
	border-bottom: 5px solid #eee;
}
p, ul, ol {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 0.99em;
}
em {
	color: #666633;
}

/* special text classes for open source project page */
#versions {
	list-style: none;
}
#versions li {
	padding-top: 0.3em;
	padding-bottom: 0.5em;	
}
.revision {
	color: #006600;
	padding: 1px;
	border: 1px dotted #cccc99;
	font-family: Arial, Helvetica, sans-serif;
}
.datetime {
	color: #666666;
}
#versions .datetime {
	font-size: 82.5%;
	margin-left: -10px;
	margin-right: 10px;
}
.download {
	font-weight: bold;
}

