<!--
	  body
	  {	
			font-family: Arial;
			font-size: 12pt;
	  }
		p
		{
			font-family: Times;
		}
		li
		{
			font-size: 12pt;
		}
		a
		{
			color: blue;
		}
		a:hover
		{
			color: white;
			background-color: blue;
			text-decoration: none;
		}
	  a.menu /* opmaak als de muis elders is */
	  {
	  	font-size: 10pt;
	  	color: blue;
	  	background-color: 
	  }
	 
	  a.menu:hover /* N.B. eerst een punt, dan een dubbele punt */
	  {            /* opmaak als de muis over de verwijzing zweeft */
    	color: white;
	 	 	background-color: blue;
	  }	
	  h1
	  {	color: #ffff00;
    	background: darkgreen;			
	  }
		h2.krabbels {font-family :"script mt bold";}
	 -->