body {
	/* De herhalende achtergrond */
	background-image: url(bg.gif);
	background-repeat: repeat-y;
	background-position: 0 0;
	margin: 0;
	padding: 0;
	
	/* Fonts */
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
}

@font-face {
	font-family: Ubuntu;
	src: url('UBUNTU-TITLE.TTF');
}

/* Het Ubuntu logo plaatsen */
.UbuntuLogo {
	background-image: url(Ubuntu.png);
	background-repeat: no-repeat;
	width: 80px;
	height: 320px;
	position: absolute;
	left: 0px;
	top: 0px;
}

/* Den text uitlijnen */
.inhoud {
	/* IE compatibel */
	position: absolute;
	left: 104px;
	width: 800px;
	/* FF
	float: left;
	margin-left: 100px; */
}

.titel {
	font-size: 36px;
	color: #003366;
}
.subtitel {
	font-size: 18px;
	color: #006699;
}

/* Formatting van links */
.Linkje:link {
	text-decoration: none;
	color: #0066CC;
}
.Linkje:visited {
	text-decoration: none;
	color: #003366;
}
.Linkje:active {
	text-decoration: none;
	color: #000000;
	background-color: #E7F8FC;
}
.Linkje:hover {
	text-decoration: underline;
	color: #003366;
	background-color: #D8EBF8;
}

/* De terminal-code formatten */
.terminal {
	font-family: Courier, "MS Serif", sans-serif;
	font-size: 12px;
	color: #006699;
	background-color: #E8F1F7;
	border-style: dotted;
	border-width: 1px;
	border-color: #003399;
	padding: 3px;
	background-image: url(terminal.gif);
	background-repeat: no-repeat;
	padding-left: 30px;
	margin: 20px;
	padding-top: 0px;
	padding-bottom: 0px;
}

/* Signature */
.sig {
	position: fixed;
	width: 90%;
	top: 95%;
	text-align: right;
	font-size: 9px;
	color: #CAE0F0;
}
.Jaar {
	color: #0099CC;
	border-bottom-style: double;
	font-size: large;
	font-weight: bold;
	background-color: #EFF8FA;
}

.distronr {
	color: #0099CC;
	font-size: medium;
	font-weight: bold;
	border-bottom-color: #2C525F;
	border-bottom-width: 2px;
	border-bottom-style: solid;
	border-top-color: #2C525F;
	border-top-width: 1px;
	border-top-style: solid;
}
.distrotxt {
	color: #2C525F;
	font-size: medium;
	font-weight: bold;
	border-bottom-color: #2C525F;
	border-bottom-width: 2px;
	border-bottom-style: solid;
	border-top-color: #2C525F;
	border-top-width: 1px;
	border-top-style: solid;
}

.warning {
	background-image: url(Alert.gif);
	background-repeat: no-repeat;
	padding-left: 30px;
	border-style: double;
	border-width: 1px;
	border-color: #FF6600;
}

.kleur {
	background-color: #EDF2F5;
}