/*
	make a few css adjustments specifically for Opera.
	
	This code is called by a script reference in the head of an html file and it writes 
	in a link to a css override file. 
	It assumes that all pages are located in the root directory.
	
	RL
*/

/* collect some basic browser info */
	agent = navigator.userAgent;
	agent = agent.toUpperCase();

/* Opera */
	var found = agent.indexOf("OPERA");
	
	if(found > -1) {
		//alert ("debug message: writing in Opera adjustments css. RL");
		document.write("<link rel='stylesheet' type='text/css' href='resources/css-opera.css'>");
	}