this.msieTeXfontBaselineBug = !jsMath.Browser.quirks; 
this.msieTeXfontBaselineBug = !this.quirks; this.msieBorderBug = this.blankWidthBug = 1; 
  MSIE: function () {    if (this.spanHeightVaries && !this.spanHeightTooBig) {      jsMath.browser = 'MSIE';      if (jsMath.platform == 'pc') {        this.IE7 = (window.XMLHttpRequest != null);        this.quirks = (jsMath.document.compatMode == "BackCompat");        this.msieStandard6 = !this.quirks && !this.IE7;        this.allowAbsoluteDelim = 1; this.separateSkips = 1;        this.buttonCheck = 1; this.msieBlankBug = 1;        this.msieAccentBug = 1; this.msieRelativeClipBug = 1;        this.msieDivWidthBug = 1; this.msiePositionFixedBug = 1;        this.msieIntegralBug = 1; this.waitForImages = 1;        this.msieAlphaBug = !this.IE7; this.alphaPrintBug = !this.IE7;        this.msieCenterBugFix = 'position:relative; ';        this.msieInlineBlockFix = ' display:inline-block;';        this.msieTeXfontBaselineBug = !jsMath.Browser.quirks;        if (!this.IE7) {this.msieSpaceFix = '<span style="display:inline-block"></span>'}        jsMath.Macro('joinrel','\\mathrel{\\kern-5mu}'),        jsMath.Parser.prototype.mathchardef.mapstocharOrig = jsMath.Parser.prototype.mathchardef.mapstochar;        delete jsMath.Parser.prototype.mathchardef.mapstochar;        jsMath.Macro('mapstochar','\\rlap{\\mapstocharOrig\\,}\\kern1mu'),        jsMath.styles['.typeset .arial'] = "font-family: 'Arial unicode MS'";        if (!this.IE7 || this.quirks) {          // MSIE doesn't implement fixed positioning, so use absolute          jsMath.styles['#jsMath_message'] =              jsMath.styles['#jsMath_message'].replace(/position:fixed/,"position:absolute").replace(/width:auto/,"");          jsMath.styles['#jsMath_panel'] =              jsMath.styles['#jsMath_panel'].replace(/position:fixed/,"position:absolute").replace(/width:auto/,"");          jsMath.styles['#jsMath_button'] = 'width:1px; '            + jsMath.styles['#jsMath_button'].replace(/position:fixed/,"position:absolute").replace(/width:auto/,"");          jsMath.window.attachEvent("onscroll",jsMath.Controls.MoveButton);          if (this.IE7) jsMath.window.attachEvent("onresize",jsMath.Controls.MoveButton);	  this.msieMoveButtonHack = this.IE7;	}        // Make MSIE put borders around the whole button        jsMath.styles['#jsMath_noFont .link'] += " display: inline-block;";        // MSIE needs this NOT to be inline-block        jsMath.styles['.typeset .spacer'] =              jsMath.styles['.typeset .spacer'].replace(/display:inline-block/,'');        // MSIE can't insert DIV's into text nodes, so tex2math must use SPAN's to fake DIV's        jsMath.styles['.tex2math_div'] = jsMath.styles['div.typeset'] + '; width: 100%; display: inline-block';        // MSIE will rescale images if the DPIs differ        if (screen.deviceXDPI && screen.logicalXDPI              && screen.deviceXDPI != screen.logicalXDPI) {          this.imgScale *= screen.logicalXDPI/screen.deviceXDPI;          jsMath.Controls.cookie.alpha = 0;        }        // Handle bug with getting width of italic text        this.italicString = '<i>x</i>';        jsMath.EmBoxFor = jsMath.EmBoxForItalics;      } else if (jsMath.platform == 'mac') {        this.msieAbsoluteBug = 1; this.msieButtonBug = 1;        this.msieDivWidthBug = 1; this.msieBlankBug = 1;        this.quirks = 1;        jsMath.Setup.Script('jsMath-msie-mac.js');        jsMath.Parser.prototype.macros.angle = ['Replace','ord','<font face="Symbol">&#x8B;</font>','normal'];        jsMath.styles['#jsMath_panel']  = 'width:42em; ' + jsMath.styles['#jsMath_panel'].replace(/width:auto/,"");        jsMath.Controls.cookie.printwarn = 0; // MSIE/Mac doesn't handle '@media screen'      }      jsMath.Macro('not','\\mathrel{\\rlap{\\kern3mu/}}');    }  },
1963	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1963/f5ba0182db3d480c47e9cbff5e69dfb210d17939/jsMath.js/buggy/htdocs/jsMath/uncompressed/jsMath.js