jsMath.styles['#jsMath_panel'] = 
jsMath.styles['#jsMath_panel'] = 
  MSIE: function () {    if (this.spanHeightVaries && !this.spanHeightTooBig) {      jsMath.browser = 'MSIE';      if (navigator.platform == 'Win32') {        this.allowAbsoluteDelim = 1; this.separateSkips = 1;        this.buttonCheck = 1; this.msieBlankBug = 1;        this.msieDivWidthBug = 1; this.msiePositionFixedBug = 1;        this.msieIntegralBug = 1; this.waitForImages = 1;        this.msieAlphaBug = 1; this.alphaPrintBug = 1;        this.msieCenterBugFix = 'position:relative; ';        this.msieInlineBlockFix = ' display:inline-block;';        this.msieSpaceFix = '<span style="display:inline-block"></span>';        jsMath.Macro('joinrel','\\mathrel{\\kern-5mu}'),        jsMath.styles['.typeset .arial'] = "font-family: 'Arial unicode MS'";        // 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.onscroll = jsMath.Controls.MoveButton;        // 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 (navigator.platform == 'MacPPC') {        this.msieAbsoluteBug = 1; this.msieButtonBug = 1;        this.msieDivWidthBug = 1; this.msieBlankBug = 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/b61e1d309b0ecd4f851bf6d502f9d4406963c232/jsMath.js/clean/htdocs/jsMath/uncompressed/jsMath.js