div.knop
{
  border: 3px double #AA0000;
	float: left;
	text-align: center;
  width: 10%;
	height: 30px;
	margin: 5px;
	background-color: #FF0000;
}
div.knop a  {display:block; height: 24px;}
div.knop a:link {color: black; text-decoration:none;}
div.knop a:visited {color: black; text-decoration:none;}
div.knop a:hover {color: black; text-decoration:underline; background-color: #005000;}

div.veld
{
	width: 500px;
	height: 30px;
	padding: 5px;
	margin: 5px;
	background-color: #A0A0A0;
}

input.veld
{
	margin:0px;
	width:400px;
	vertical-align:middle;
}

div.#titelbalk
{
  position: relative;
  border-style: none;
  text-align: left;
  top: 0px;
	left: 0px;
	width: 100%;
	height:110px;
	margin: 0px;
  background-color: #005000;
  overflow: auto;
}

div.#menubalk
{
  position: relative;
	border-style: none;
	width: 100%;
	height: 40px;
	margin: 0px;
	background-color: #C0C0C0;
}

div.#userinfo
{
  position: relative;
	border: none;
	left: 300px;
	width: 80%;
	height: 100px;
	margin: 5px;
	padding: 5px;
	background-color: #C0C0C0;
}
div.#mainwindow
{
  position: relative;
	border: 5px solid #005000;
	width: 100%;
	height: 650px;
	margin: 0px;
	padding: 5px;
	background-color: #F0F0F0;
}

div.#parsetime
{
  position: relative;
	border-style: none;
	width: 100%;
	height: 40px;
	margin: 0px;
	text-align: center;
	background-color: #C0C0C0;
}
div.#debuginfo
{
  position: relative;
	border-style: none;
	width: 100%;
	margin: 0px;
	text-align: left;
	background-color: #FFB000;
}

img.#logo
{
  position: absolute;
  border-style: none;
	top: 15px;
	left: 15px;
	width: 200px;
	height: 62px;
	margin: 0px;
}