@import url("style_nieuw.css");

body {
	font-size: 0.9em;
}

div.tools a.font_normaal, div.tools a.font_normaal:hover, div.tools a.font_normaal:active, div.tools a.font_normaal:visited {
	font-size:12px;
	border:none;
}
div.tools a.font_groter, div.tools a.font_groter:hover, div.tools a.font_groter:active, div.tools a.font_groter:visited {
	font-size:14px;
	border-bottom:1px solid #006600;
}
div.tools a.font_groot, div.tools a.font_groot:hover, div.tools a.font_groot:active, div.tools a.font_groot:visited {
	font-size:16px;
}