/*
	CSS voor de nieuwe site
*/

body {
	font-family: "Verdana", sans-serif;
	font-size: 95%;
}

code, pre {
	font-family: "Consolas", fixed;
	font-size: 90%;
}

a {
	color: #555;
}

a:hover {
	color: #222f44;
}

a img {
	border: none;
}

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

div.head {
	border-bottom: 1px solid #888;
	padding-left: 1em;
}

div.footer {
	clear: both;
	border-top: 1px solid #888;
	padding-top: 0.4em;
	margin-top: 2em;
	font-size: x-small;
	color: #555;
}

.head h1 {
	font-size: 200%;
	color: #666;
}

div.left {
	padding: 1em;
	float: left;
	width: 7em;
}

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

.left li > ul {
	padding: 0.5em;
	padding-right: 0;
	font-size: 90%;
}

.left ul li {
	margin-bottom: 0.2em;
}

.left a, .loc a {
	text-decoration: none;
}

.left a:hover, .loc a:hover {
	text-decoration: underline;
}

ul.loc {
	list-style: none;
	padding: 0px;
	margin: 0.2em;
	display: block;
}

ul.loc li {
	color: #333;
	display: inline;
	font-size: x-small;
}

ul.loc li + li:before {
	content: "  »  ";
}

div.right {
	margin-left: 9em;
}

.code {
	border: 1px solid gray;
	padding: 0.3em;
	background-color: #eee;
	white-space: pre;
	font-family: "Consolas", fixed;
	font-size: 90%;
}

table.lijst {
}

.lijst th {
	font-weight: normal;
	text-align: left;
	background-color: #888;
	color: white;
	padding: 2px 4px 2px 4px;
}

.lijst td {
	vertical-align: center;
	border-bottom: 1px dashed #888;
	padding: 2px 4px 2px 4px;
}