/* Hier komen styledefinities die gelden in elke browser */

.monospace { font-family : Courier New, Courier, mono;}
.rand { 
	font-family : "Courier New", Courier, mono;
	font-size : 9pt;
	border: 1 solid rgb(51,51,51);
 } 

.geenrand { 
	font-family : Courier New, Courier, mono;
	font-size : 9pt;
	border: 0 dotted rgb(51,51,51);
 }