/* Gebruiksaanwijzing */

div.infobox {
	border: 1px solid #98AAB1;
	background-color: #EFEFEF;
	padding: .5em;
}

div.infobox p {
	margin: 0;
	font-size: .8em;
}

ul#gebruiksaanwijzing {
	list-style: none;
}

ul#gebruiksaanwijzing a {
	text-decoration: none;
}

li.first {
	margin-top: .6em;
	font-size: .9em;
	font-weight: bold;
}

li.second {
	font-size: .8em;
	padding-left: 1em;
}

div#gebruiksaanwijzing h1 {
	font-size: .9em;
	font-weight: bold;
	color: #069;
}

div#gebruiksaanwijzing p, div#gebruiksaanwijzing ul{
	margin: 0;
	font-size: .8em;
	padding-left: 1em;
}

pre { margin: 1px; padding: 0; }






div.title {
	font-size: 24px; color: #008080; font-family: verdana, arial, helvetica, sans-serif; text-align: center
}
a.outline {
	font-family: Verdana, Helvetica, sans-serif;
	font-size: 12px;
	color: #006699;
	text-decoration: none;
}

a.outline:hover {
	color: #DD6900;
	text-decoration: underline;
}
a.linkage {
	font-weight: bold; color: blue; text-decoration: none
}
a.linkage:hover {
	text-decoration: underline
}
div.outline {
	font-weight: bold; font-size: 16px; font-style: italic; font-family: times new roman, times, arial, helvetica, sans-serif
}
div.outline2 {
	font-weight: bold; font-size: 16px; margin-left: 20px; font-family: times new roman, times, arial, helvetica, sans-serif
}
div.outline3 {
	font-size: 16px; margin-left: 40px; font-family: times new roman, times, arial, helvetica, sans-serif
}
div.outline4 {
	font-size: 16px; margin-left: 60px; font-family: times new roman, times, arial, helvetica, sans-serif
}
div.outline5 {
	font-size: 16px; margin-left: 80px; font-family: times new roman, times, arial, helvetica, sans-serif
}

a.header {
	color: #006699; text-decoration: none
}

div.header1, div.header2, div.header3 {
	font-family: Verdana, Helvetica, sans-serif;
	color: #006699;
	text-decoration: none;
 	font-size: 14px;	
}

div.body1, div.body2, div.body3, div.body4, div.body5 {
	font-family: Verdana, Helvetica, sans-serif;
	color: #000000;
	text-decoration: none;
 	font-size: 14px;
 	font-weight: normal;
 	font-style: normal;
 	
 	
td.perm {
	font-size: 12px; font-family: verdana, arial, helvetica, sans-serif;
}


.gensmall { font-size : 10px; }