rem: && (clientPC.indexOf('khtml')==-1)); 
add: && (clientPC.indexOf('khtml')==-1) && (clientPC.indexOf('gecko')==-1)); 
context: function addInfobox(infoText) {	// if no support for changing selection, add a small copy & paste field	var clientPC = navigator.userAgent.toLowerCase(); // Get client info	var is_nav = ((clientPC.indexOf('mozilla')!=-1) && (clientPC.indexOf('spoofer')==-1)                && (clientPC.indexOf('compatible') == -1) && (clientPC.indexOf('opera')==-1)                && (clientPC.indexOf('webtv')==-1) && (clientPC.indexOf('hotjava')==-1)		&& (clientPC.indexOf('khtml')==-1)); 	if(!document.selection && !is_nav) {	 	document.write("<form name='infoform' id='infoform'>"+			"<input size=80 id='infobox' name='infobox' value='"+			infoText+"' READONLY></form>"); 	}}
meta: 7642	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7642/57662e79d456eb2db8b8744e5d62b1ffd22f1291/wikibits.js/buggy/stylesheets/wikibits.js