body, #pagina {
	width: 750px;
}

#logstatus {
	float: right;
}

#hoofdmenu {
	float: left;
	width: 288px;
	height: 100px;
	background: rgb(3, 13, 96);
}

#submenu {
	margin-left: 300px;
}

#submenuoverlay {
	margin-left: -3px;  /* idiote explorer-bug */
}

#menu {
	height: 100px;
	background: rgb(133, 163, 206);
}

#content p, #content ul {
	padding-left: 30px;
}

h1, h2, h3, h4 {
	padding-left: 30px;
}

#errormsg {
	color: rgb(255, 0, 0);
}

input {
	font-size: 11pt;
	font-weight: bold;
	color: rgb(255, 255, 255);
	background: rgb(2, 13, 96);
}