rem: if (navigator.appName == 'Opera' || navigator.userAgent.match(" Opera ")) { 
add: if (this.spanHeightTooBig) { 
context:   Opera: function () {    if (navigator.appName == 'Opera' || navigator.userAgent.match(" Opera ")) {      jsMath.browser = 'Opera';      this.allowAbsolute = 0;      this.delay = 10;      this.operaHiddenFix = '[Processing]';    }  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/a844e1ec626c2b970c32377c4ad06bb088afa9bd/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js