function selectLang(object) {
     document.langform.action = object.options[object.selectedIndex].value;
     document.langform.submit();
}

window.addEvent('domready', function(){
	if(Browser.Platform.linux) {
		$('top_txt_slogan').firstChild.setStyle('letter-spacing','0.5px');
		$$('#nav li a').each(function(el){el.setStyle('padding','1.5em 20px 1.3em 20px');});
		$$('#nav li a.last').setStyle('padding','1.5em 23px 1.3em 23px');
	}
});