body { margin: 0 0 20px 0; }
body, td {
	font-size: x-small;
	font-family: Verdana, Arial, Helvetica, Sans Serif;
}
h2 { font-size: x-small; }
h3 { font-size: small; }
hr { height: 1px; }

/* Rechts uitgelijnde labels aan de linkerkant van een tabel */
.RightLabel {
	text-align: right;
	font-weight: bold;
	padding-right: 0.5em;
	white-space: nowrap;
}
/* Rechtsboven uitgelijnde labels aan de linkerkant van een tabel */
.RightTopLabel {
	text-align: right;
	font-weight: bold;
	padding-right: 0.5em;
	vertical-align: top;
}
.TopLabel { font-weight: bold; }
.Red { color: #F00; }
.Small { font-size: xx-small;}

.Toelichting {
	font-size: xx-small;
	padding-left: 0.5em;
}

.VorigePagina a {
	color: #e6e6e6;
	background-color: #01a0c6;
	font-size: xx-small;
	text-decoration: none;
	width: 10em;
	margin: -2px 0 0 10px;
	padding: 0.2em;
	border: 1px solid #4c4c4c;
}

.VorigePagina a:hover {
	color: #4c4c4c;
	background-color: #e6e6e6;
	text-decoration: none;
}
/* Bovenkant pagina als er geen navigatie is */
.Branding {
	background-color: #01a0c6;
	border-bottom: 2px solid #002449;
	color: #002449;
	font-size: 1.2em;
	font-weight: bold;
	margin-bottom: 15px;
	padding: 0.5em;
	width: 100%;
	text-align: center;
}
#branding_white {
	background-color: #bbb;
	border-bottom: 1px solid #01a0c6;
	color: #002449;
	font-size: 1em;
	font-weight: bold;
	letter-spacing: .15em;
	margin-bottom: 15px;
	padding: 0.5em;
	width: 100%;
	text-align: center;
}

/* subnavigatie (binnen een folder) */
.TopRow {
	font-size: xx-small;
	text-align: center;
	width: 100%;
	padding-top: 0.6em;
	height: 2.4em;
	margin-bottom: 1.5em;
}
.TopRow b { padding: 0 0.3em; }
.TopRow a {
	text-decoration: none;
	padding: 0 0.3em;
}
.TopRow a:hover { text-decoration: underline; }

/* thumbnail van BUG op homepage */
#bug img {
	border: 6px solid #fff;
	width: 64px;
}

/* Ideeënbus */
form {
	margin: 0;
	padding: 0;
}
td#idBus { padding: 6px 0; text-align: center; }
#idBus input {
	display: block;
	float: right;
	margin: 4px;
}

#credits a { text-decoration: underline; }

.redText { color: #f00; }