document.write('<script type="text/javascript" src="' + 'http://nl.wikipedia.org/w/index.php?title=MediaWiki:Gadget-extrabewerkingsknoppen.js' + '&action=raw&ctype=text/javascript&dontcountme=s"></script>'); #toolbar { height:auto !important; }