function browserDiscovery() {
	if (navigator.userAgent.toLowerCase().indexOf("applewebkit/") != -1) {
		return "Safari";
	} else if (navigator.userAgent.toLowerCase().indexOf("gecko/") != -1) {
		return "Mozilla";
	} else {
		return "MSIE";
	}
}

function hScroll(which, speed) {
		
	if (typeof browser == "undefined") browser = browserDiscovery();
	
	divContent = document.getElementById(which+'-content');
	divContainer = document.getElementById(which+'-container');
	
	if (divContent.style.marginLeft) currentLeft = parseInt(divContent.style.marginLeft);
	else currentLeft = 0;
	
	if (currentLeft == NaN || currentLeft == "" || currentLeft == undefined) currentLeft = 0;
	
	newLeft = currentLeft+speed;
	
	if (browser	== "Mozilla") {
		stuckOnRight = (divContainer.offsetWidth >= divContent.offsetWidth);
	} else {
		stuckOnRight = (newLeft <= divContainer.offsetWidth-divContent.offsetWidth);
	}
	stuckOnLeft = (newLeft >= 0);
				
	if (speed > 0 && !stuckOnLeft || speed < 0 && !stuckOnRight) {
		
		divContent.style.marginLeft = newLeft+"px";
	
		scrollTimeout = window.setTimeout("hScroll('"+which+"',"+speed+");", 50);
		
	}
	
}

function vScroll(which, speed) {
		
	if (typeof browser == "undefined") browser = browserDiscovery();

	divContent = document.getElementById(which+'-content');
	divContainer = document.getElementById(which+'-container');
	
	if (divContent.style.marginTop) currentTop = parseInt(divContent.style.marginTop);
	else currentTop = 0;
	
	if (currentTop == NaN || currentTop == "" || currentTop == undefined) currentTop = 0;
	
	newTop = currentTop-speed;
	
	if (browser	== "Safari") {
		stuckOnBottom = (newTop >= -2*speed);
	} else {
		stuckOnBottom = (newTop >= -speed);
	}
	
	stuckOnTop = (newTop <= divContainer.offsetHeight-divContent.offsetHeight);
				
	if (speed > 0 && !stuckOnTop || speed < 0 && !stuckOnBottom) {
		
		divContent.style.marginTop = newTop+"px";
	
		scrollTimeout = window.setTimeout("vScroll('"+which+"',"+speed+");", 50);
	}	
}


function stopScroll(which) {
	try {
		window.clearTimeout(scrollTimeout);
		scrollTimeout = 0;
	} catch (err) {
	}
}

/*
Open Centered Popup Window Script
-
(c) DHTML Shock (www.dhtmlshock.com)
To add more shock to your site, visit www.DHTML Shock.com
*/

function openBrWindow(theURL,winName,features, myWidth, myHeight, isCenter) {
   if(window.screen && isCenter && isCenter=="true") {
    var myLeft = (screen.width-myWidth)/2;
    var myTop = (screen.height-myHeight)/2;
    features+=(features!='')?',':'';
    features+=',left='+myLeft+',top='+myTop;
  }
  window.open(theURL,winName,features+((features!='')?',':'')+'width='+myWidth+',height='+myHeight);
 }

/*
	Finds elements on page that match a given CSS selector rule. Some
	complicated rules are not compatible.
	Based on Simon Willison's excellent "getElementsBySelector" function.
	Original code (with comments and description):
		http://simon.incutio.com/archive/2003/03/25/getElementsBySelector
*/

document.getElementsBySelector = function(selector)
{
	var tokens = selector.split(' ');
	var currentContext = new Array(document);
	for(var i=0;i<tokens.length;i++)
	{
		token = tokens[i].replace(/^\s+/,'').replace(/\s+$/,'');
		if(token.indexOf('#') > -1)
		{
			var bits = token.split('#');
			var tagName = bits[0];
			var id = bits[1];
			var element = document.getElementById(id);
			if(tagName && element.nodeName.toLowerCase() != tagName)
				return new Array();
			currentContext = new Array(element);
			continue;
		}

		if(token.indexOf('.') > -1)
		{
			var bits = token.split('.');
			var tagName = bits[0];
			var className = bits[1];
			if(!tagName)
				tagName = '*';

			var found = new Array;
			var foundCount = 0;
			for(var h=0;h<currentContext.length;h++)
			{
				var elements;
				if(tagName == '*')
					elements = currentContext[h].all ? currentContext[h].all : currentContext[h].getElementsByTagName('*');
				else
					elements = currentContext[h].getElementsByTagName(tagName);

				for(var j=0;j<elements.length;j++)
					found[foundCount++] = elements[j];
			}

			currentContext = new Array;
			var currentContextIndex = 0;
			for(var k=0;k<found.length;k++)
			{
				if(found[k].className && found[k].className.match(new RegExp('\\b'+className+'\\b')))
					currentContext[currentContextIndex++] = found[k];
			}

			continue;
	    }

		if(token.match(/^(\w*)\[(\w+)([=~\|\^\$\*]?)=?"?([^\]"]*)"?\]$/))
		{
			var tagName = RegExp.$1;
			var attrName = RegExp.$2;
			var attrOperator = RegExp.$3;
			var attrValue = RegExp.$4;
			if(!tagName)
				tagName = '*';

			var found = new Array;
			var foundCount = 0;
			for(var h=0;h<currentContext.length;h++)
			{
				var elements;
	        	if(tagName == '*')
					elements = currentContext[h].all ? currentContext[h].all : currentContext[h].getElementsByTagName('*');
				else
					elements = currentContext[h].getElementsByTagName(tagName);

				for(var j=0;j<elements.length;j++)
					found[foundCount++] = elements[j];
			}

			currentContext = new Array;
			var currentContextIndex = 0;
			var checkFunction;
			switch(attrOperator)
			{
				case '=':
					checkFunction = function(e) { return (e.getAttribute(attrName) == attrValue); };
					break;
				case '~':
					checkFunction = function(e) { return (e.getAttribute(attrName).match(new RegExp('\\b'+attrValue+'\\b'))); };
					break;
				case '|':
					checkFunction = function(e) { return (e.getAttribute(attrName).match(new RegExp('^'+attrValue+'-?'))); };
					break;
				case '^':
					checkFunction = function(e) { return (e.getAttribute(attrName).indexOf(attrValue) == 0); };
					break;
				case '$':
					checkFunction = function(e) { return (e.getAttribute(attrName).lastIndexOf(attrValue) == e.getAttribute(attrName).length - attrValue.length); };
					break;
				case '*':
					checkFunction = function(e) { return (e.getAttribute(attrName).indexOf(attrValue) > -1); };
					break;
				default :
					checkFunction = function(e) { return e.getAttribute(attrName); };
			}

			currentContext = new Array;
			var currentContextIndex = 0;
			for(var k=0;k<found.length;k++)
			{
				if(checkFunction(found[k]))
					currentContext[currentContextIndex++] = found[k];
			}

			continue;
		}

		tagName = token;
		var found = new Array;
		var foundCount = 0;
		for(var h=0;h<currentContext.length;h++)
		{
			var elements = currentContext[h].getElementsByTagName(tagName);
			for(var j=0;j<elements.length; j++)
				found[foundCount++] = elements[j];
		}

		currentContext = found;
	}

	return currentContext;
}

function imagereplacement() {
/*
    By Stewart Rosenberger
*/


replaceSelector("h2",false);
replaceSelector("h3",false);
replaceSelector("h4",false);
replaceSelector("ul.triangle li a",false);
replaceSelector("ul.submenu li.normal a",false);
replaceSelector("ul.submenu li.current a",false);
replaceSelector(".defisc-big span",false);
replaceSelector(".infos-title h6",false);

var testURL = "images/blank.gif" ;

var hideFlicker = true;
var hideFlickerCSS = "hideflicker.css";
var hideFlickerTimeout = 3000;

var doNotPrintImages = false;



/* ---------------------------------------------------------------------------
    For basic usage, you should not need to edit anything below this comment.
    If you need to further customize this script's abilities, make sure
	you're familiar with Javascript. And grab a soda or something.
*/

var items;
var imageLoaded = false;
var documentLoaded = false;

function replaceSelector(selector,wordwrap)
{
	if(typeof items == "undefined")
		items = new Array();

	items[items.length] = {selector: selector, url: "/air", wordwrap: wordwrap};
}

if(hideFlicker)
{		
	document.write('<link id="hide-flicker" rel="stylesheet" media="screen" href="' + hideFlickerCSS + '" />');		
	window.flickerCheck = function()
	{
		if(!imageLoaded)
			setStyleSheetState('hide-flicker',false);
	};
	setTimeout('window.flickerCheck();',hideFlickerTimeout)
}

if(doNotPrintImages)
	document.write('<link id="print-text" rel="stylesheet" media="print" href="' + printerCSS + '" />');

var test = new Image();
test.onload = function() { imageLoaded = true; if(documentLoaded) replacement(); };
test.src = testURL + "?date=" + (new Date()).getTime();

addLoadHandler(function(){ documentLoaded = true; if(imageLoaded) replacement(); });


function documentLoad()
{
	documentLoaded = true;
	if(imageLoaded)
		replacement();
}

function replacement()
{
	for(var i=0;i<items.length;i++)
	{
		var elements = getElementsBySelector(items[i].selector);
		if(elements.length > 0) for(var j=0;j<elements.length;j++)
		{
			if(!elements[j])
				continue ;
		
			var text = extractText(elements[j]);
    		while(elements[j].hasChildNodes())
				elements[j].removeChild(elements[j].firstChild);
			
			elements[j].className = "truefont";

			var tokens = items[i].wordwrap ? text.split(' ') : [text] ;
			for(var k=0;k<tokens.length;k++)
			{
				var url = items[i].url + "?text="+escape(tokens[k]+' ')+"&selector="+escape(items[i].selector);
				var image = document.createElement("img");
				image.className = "replacement";
				image.alt = tokens[k] ;
				image.src = url;
				elements[j].appendChild(image);
			}

			if(doNotPrintImages)
			{
				var span = document.createElement("span");
				span.style.display = 'none';
				span.className = "print-text";
				span.appendChild(document.createTextNode(text));
				elements[j].appendChild(span);
			}
		}
	}

	if(hideFlicker)
		setStyleSheetState('hide-flicker',false);
}

function addLoadHandler(handler)
{
	if(window.addEventListener)
	{
		window.addEventListener("load",handler,false);
	}
	else if(window.attachEvent)
	{
		window.attachEvent("onload",handler);
	}
	else if(window.onload)
	{
		var oldHandler = window.onload;
		window.onload = function piggyback()
		{
			oldHandler();
			handler();
		};
	}
	else
	{
		window.onload = handler;
	}
}

function setStyleSheetState(id,enabled) 
{
	var sheet = document.getElementById(id);
	if(sheet)
		sheet.disabled = (!enabled);
}

function extractText(element)
{
	if(typeof element == "string")
		return element;
	else if(typeof element == "undefined")
		return element;
	else if(element.innerText)
		return element.innerText;

	var text = "";
	var kids = element.childNodes;
	for(var i=0;i<kids.length;i++)
	{
		if(kids[i].nodeType == 1)
		text += extractText(kids[i]);
		else if(kids[i].nodeType == 3)
		text += kids[i].nodeValue;
	}

	return text;
}

function getElementsBySelector(selector)
{
	return document.getElementsBySelector(selector);
}


}// end of scope, execute code
if(document.createElement && document.getElementsByTagName && !navigator.userAgent.match(/opera\/?6/i))
	imagereplacement();