body {
	background-color: #333333;
	margin: 0;
	padding: 2mm 5mm;
}

/*
div.left {
	float: left;
	color: white;
	width: 15%;
	background-color: #333333;
}
div.left > * { margin-left: 2mm; margin-right: 2mm; }
*/
div#header, div#main {
	margin-left: 1px;
	margin-right: 1px;
}
div#header {
	margin-top: 1px;
	margin-bottom: 1px;
	padding-top: 1px;
	padding-bottom: 1mm;
}
div#main {
	padding: 2mm 5mm;
	background-color: #ffffff;
}
div#footer {
	margin: 1px;
	padding: 0 5mm;
	/* background-color: #d5ccbb; */
	background-color: #e0d8d4;
}

div.vertical-menu {
	margin: 0 0mm;
}
div.vertical-menu span {
	display: inline;
	list-style: none;
	padding-top: 1mm;
	padding-bottom: 1mm;
	padding-left: 2mm;
	padding-right: 2mm;
	margin: 0;
	margin-right: 1px;
}
span.vl-link { background-color: #007799; }
span.vl-link a { color: #ffffff; }
span.gh-link { background-color: #e0d8d4; }
div.vertical-menu span:first-child { padding-left: 5mm; }
div.vertical-menu span a:link,
div.vertical-menu span a:visited {
	font-weight: bold;
	margin: 0;
}

a:link, a:visited {
	text-decoration: none;
	color: #007799;
}
a:hover {
	text-decoration: underline;
}

pre.code {
	margin: 0;
	padding: 0 5mm 0 5mm;
}

.k-d, .k-v { font-weight: bold; }
.k-c { font-weight: bold; color: #aa4400; }
.t-c { color: #009900; }
.l-n { color: #337799; }
.o-r, .o-t { color: #ee0000; }