body {
	margin: 0px;
	padding: 0px;
	background-color: #FFFFFF;
	font-family: sans-serif;
	font-size: 80%;
	color: #616161;

}

div.nav {
	margin-left: 6%;
	margin-right: 6%;
	margin-top: 30px;
	padding: 2px;
	border-style: dotted;
	border-color: red;
	border-width: 1px;
	font-size: 10pt;
	text-align: center;
	word-spacing: 50px;
}

div.main {
	margin-left: 6%;
	margin-right: 6%;
}

div.footer {
	margin-top: 50px;
	margin-left: 6%;
	margin-right: 6%;
}

hr {
	border: 0;
	color: red;
	background-color: red;
	height: 1px;
}

h1, h2, h3, h4 {
	color: #616161;
}
	

a:link, a:visited {
	color: #616161;
}

a:hover {
	text-decoration: underline;
}

div.sourcecode{
	padding: 2mm;
	margin: 2mm;
	background-color: #eeeeee;
	color: #000000;
	border-style: solid;
	border-width: thin;
	border-color: #5e5e5e;
	font-family: monospace;
	width: 75%;
	
}

tt.path {
	color: red;
	text-decoration: underline;
}

tt.command{
	color: black;
	font-weight: bold;
}

div.commands {
	padding: 2mm;
	background-color: #000000;
	color: #ffffff;
	border-style: solid;
	border-width: thin;
	border-color: #5e5e5e;
	margin: 2mm;
	font-family: monospace;
	width: 75%;
}

div.notebox {
	border-style: solid;
	border-width: thin;
	border-color: #000000;
	background-color: #f8ffe1;
	width: 50%;
	padding: 5px;
	margin: 5px;
	margin-left: 25%;
}


div.warningbox{
	border-style: solid;
	border-width: 5px;
	border-color: #ff7777;
	background-color: #f8ffe1;
	width: 50%;
	padding: 5px;
	margin: 5px;
	margin-left: 25%;
}

#humourbox{
	border-style: solid;
	border-width: 1px;
	border-color: #616161;
	width: 400px;
	top: 160px;
	left: 500px;
	position:absolute;
	padding: 10px;
	
}


div.footnotes {
	font-size: 8pt;
	font-color: #616161;
}

ul.footnotes {
	list-style-type: none;
	padding: 0px;
	margin: 0px;
}