MediaWiki:Gadget-DejaVu Sans

Adds a special stylesheet in to that Safari (and Konqueror) browsers will display some things on the page better using the DejaVu font.