// JavaScript Document
var safari = (navigator.userAgent.indexOf('Safari') > 0 && navigator.userAgent.indexOf('Chrome') < 0);
function safariCssHack()
{
	if (safari)
	{
		$('portal').style.background = 'url(skin/portal.png) 365px -1px no-repeat';
		$('nav').style.width = '620px';
	}	
}