document.write('<style type="text/css">'+
  '.noscriptjaarfilterkop, #jaarringencontainer {display: none}'+
  ' #pijltjes, div.displayjaarring {display: block;}'+
  '</style>');
  
/*if ( is_gecko) {
	 document.write('<style type="text/css">'+
  ' div.content, div.content_home {overflow-y: scroll !important; }'+ 
  ' body>div.content, body>div.content_home {overflow:auto;}'+ 
  '</style>');
}*/