html, body {
	position: relative;
	margin: 0;
	padding: 0;
	width: 100%;
	height: 100%;
	}
	
body {
	font-family: Arial, sans-serif;
	font-size: 16px;
	color: #222;
	background: #ffffff;
	}
	
a {
	color: #222;
	}




#nav {
	position: fixed;
	top: 0;
	left: 0;
	bottom: 0;
	width: 235px;
	overflow: auto;
	font-size: 16px;
	}
	
#nav ul {
	list-style: none;
	margin: 0;
	padding: 55px 0 5px 55px;
	}
	
#nav li {
	margin: 0 0 14px 0;
	padding: 0;
	}
	
#nav li a {
	font-family: 'Ubuntu', sans-serif;
	text-decoration: none;
	}
	
#nav li a:hover {
	text-decoration: underline;
	}
	
	
	
	
#main {
	padding: 55px 50px 50px 300px;
	max-width: 900px;
	}
	
h1 {
	margin: -14px 0 0;
	line-height: 70px;
	font-family: 'Ubuntu', sans-serif;
	font-weight: normal;
	font-size: 60px;
	text-shadow: 0px 2px 2px #cbcbcb;
	filter: dropshadow(color=#cbcbcb, offx=0, offy=2);
	}
	
h1 span {
	color: #940000;
	}
	
#slogan {
	margin: 10px 0 40px;
	font-family: 'Ubuntu', sans-serif;
	font-size: 18px;
	font-weight: bold;
	color: #111;
	}
	
h2 {
	margin: 75px 0 25px;
	font-family: 'Ubuntu', sans-serif;
	}
	
p {
	line-height: 160%;
	}
	
	
ul {
	margin: 1em 0 1em 2em;
	padding: 0;
	}
	
li {
	margin: .5em 0;
	padding: 0;
	}
	
	
dl {
	margin: 2em 0;
	}
	
dt {
	font-family: monospace;
	font-size: 18px;
	color: #000;
	margin: 12px 0;
	}
	
dd {
	font-size: 13px;
	color: #555;
	line-height: 140%;
	}
	
table {
	margin: 1.5em 0;
	border-collapse: collapse;
	border-spacing: 0;
	}
	
th, td {
	padding: 8px;
	border: 1px solid #ccc;
	text-align: left;
	}
	
th {
	background: #eee;
	}
	
code {
	background: #F8F8F8;
	border: 1px solid #DEDEDE;
	padding: 0 1px;
	border-radius: 3px;
	color: #000;
	}
	
div.highlight {
	margin: 2em 0;
	font-size: 14px;
	line-height: 140%;
	border-left: 2px solid #ccc;
	padding-left: 20px;
	}
	
	
	
	
#download-area {
	color: #000;
	float: left;
	border: 1px solid #bbb;
	padding: 15px 20px;
	margin: 30px 0 0;
	background: #eee;
	border-radius: 10px;
	}
	
#download-area a {
	color: #000;
	}
	
#download-area-left {
	float: left;
	padding: 10px 50px 10px 0;
	}
	
#download-area-left .label {
	margin-top: 15px;
	}
	
#download-area-left a {
	font-size: 30px;
	font-family: 'Ubuntu', sans-serif;
	font-weight: bold;
	}
	
#download-area-right {
	float: left;
	border-left: 1px solid #bbb;
	padding: 0 10px 0 30px;
	}
	
#download-area-right div {
	margin: 8px 0;
	}
	
	
	
#external-links {
	float: left;
	padding-left: 20px;
	margin-top: 40px;
	}
	
#external-links div {
	margin: 10px 0;
	}
	
	
	
#bottom {
	margin-top: 100px;
	}
	
#bottom, #bottom a {
	color: #555;
	}
	
.wiki-link {
	float: right;
	margin-right: 2em;
	}
	
.copyright {
	color: #555;
	}