/* tijdelijke style-attributen voor bijvoorbeeld koningsdag */
/*
body {
 background-color : #FF9B00;
}
 */