if (-1 != navigator.userAgent.indexOf("Opera")) { 

	document.write('<link rel="stylesheet" href="./public/css/opera.css" type="text/css" />'); }