//
// Browser.js - Detección del navegador
//
// $Id: browser.js 1.2 2004/03/01 11:20:14 jordinas Exp $
//
// Joan Ordinas - <jordinas@EscolaDelTreball.ORG>
//

function _Browser() {
	var agent = navigator.userAgent.toLowerCase();
	this.Opera		= (agent.indexOf("opera") != -1);
	this.Explorer	= (agent.indexOf("msie") != -1 && !this.Opera);
	this.Netscape	= (agent.indexOf("netscape") != -1 && !this.Opera);
	this.Mozilla	= (agent.indexOf("mozilla") != -1 && !this.Netscape && !this.Explorer);
	this.Gecko		= ((this.Netscape || this.Mozilla) && navigator.product == "Gecko");
}