/* Style sheet font correction for Safari and KDE browsers */
if(navigator.vendor == 'KDE' || ( document.childNodes && !document.all && !navigator.taintEnabled ))
	document.write("<style type=\"text/css\" media=\"all\">@import \"/PageUI/Styles/KDE.css\";</style>");