body {
	font-family : sans-serif;
	font-size : 14px;
}

a {
	text-decoration : none;
}

code {
	background-color : #f0f0f0;
	font-family : monospace;
}

pre {
	background-color : #f0f0f0;
	font-family : monospace;
}

img {
	border : 0px;
}

fieldset {
	border : 0px;
}

/* Used for HTML generated from pod. */
div[name="index"]:before {
	content : "docs.Nerdstock.org";
	font-size : 200%;
	font-weight : bold;
	text-align : center;	/* Why won't this center (in Firefox)? */
}

div#navigatie {
	position : fixed;
	top : 70px;
	right : 75px;
	bottom : 160px;
	border : 1px dotted black;
	padding : 10px;
	overflow : auto;
}

div#header {
	text-align : center;
	font-size : 200%;
	font-weight : bold;
}

div#footer {
	position : fixed;
	bottom : 10px;
	width : 100%;
	text-align : center;
	background-color : white;
}

div#content a {
	text-decoration : underline;
}

div#tkontentdingetje {
	position : absolute;
	top : 70px;
	/* right : 280px; */
	/* bottom : 160px; */
	left : 100px;
	/*
	overflow : auto;
	padding-right : 20px;
	*/
}

.screenonly {
	/* display : inline; */
}
.printonly {
	display : none;
}

p.pagetitle {
	font-size : 150%;
	font-weight : bold;
}

.klein {
	font-size : 80%;
}

ul.resources {
	font-family : monospace;
	list-style-type : square;
	background-color : #e0e0e0;
}
ul.resources:before {
	content : "Resources:";
	text-decoration : underline;
}

ul.fixme {
	background-color : #ff0000;
}
ul.fixme:before {
	content : "TODO:";
	text-decoration : underline;
}

dt {
	margin : 10px 0px;
}

table#docfooter,table#softwarefooter td {
	text-align : center;
	font-size : 80%;
}

div#grepbox {
	text-align : center;
	font-family : monospace;
	font-size : 90%;
}
div#grepbox input[type=submit] {
	font : inherit;
}
div#grepbox input[type=text] {
	font : inherit;
}

table#grepresults td {
	padding : 0px 5px;
}