rem: var html = jsMath.HTML.Class(left.tclass,left.c); var m = Math.floor(n/2); 
add: var html = this.AddClass(left.tclass,left.c,left.font); var m = Math.floor(n/2); 
context:   Leaders: function (W,leader) {    var h; var d; var w; var html; var font;    if (leader.lmid) {// braces      font = jsMath.TeX.fam[(leader.left & 0xF00) >> 8];      var left = this.GetCharCode(leader.left);      var right = this.GetCharCode(leader.right);      var lmid = this.GetCharCode(leader.lmid);      var rmid = this.GetCharCode(leader.rmid);      w = (W - left.w - right.w - lmid.w - rmid.w)/2 - .1; h = .4; d = .3;      if (w > 0) {        html = jsMath.HTML.Class(left.tclass,left.c)              + jsMath.HTML.Rule(w,left.h)             + jsMath.HTML.Class(lmid.tclass,lmid.c+rmid.c)             + jsMath.HTML.Rule(w,right.h)             + jsMath.HTML.Class(right.tclass,right.c);      } else {        html = jsMath.HTML.Class(left.tclass,left.c + lmid.c + rmid.c + right.c);      }    } else { //arrows      font = jsMath.TeX.fam[(leader.rep &0xF00) >> 8];      var left = this.GetCharCode(leader.left? leader.left: leader.rep);      var rep = this.GetCharCode(leader.rep);      var right = this.GetCharCode(leader.right? leader.right: leader.rep);      var n = Math.ceil((W - left.w - right.w + .4)/(rep.w - .3));      w = (W - left.w - right.w + .4 - n*(rep.w - .3));      if (leader.left) {h = left.h; d = left.d} else {h = right.h; d = right.d}      if (d == null) {d = 0}; if (h == null) {h = 0}      var html = jsMath.HTML.Class(left.tclass,left.c); var m = Math.floor(n/2);      var ext = jsMath.HTML.Place(rep.c,-.3,0);      var ehtml = ''; for (var i = 0; i < m; i++) {ehtml += ext};      html += jsMath.HTML.Class(rep.tclass,ehtml) + jsMath.HTML.Spacer(w);      ehtml = ''; for (var i = m; i < n; i++) {ehtml += ext};      html += jsMath.HTML.Class(rep.tclass,ehtml);      if (jsMath.msieFontBug) {html += '<SPAN STYLE="display: none">x</SPAN>'}      html += jsMath.HTML.Place(jsMath.HTML.Class(right.tclass,right.c),-.4,0);    }    w = jsMath.EmBoxFor(html).w;    if (w != W) {      w = jsMath.HTML.Spacer((W-w)/2);      html = w + html + w;    }    var box = new jsMath.Box('html',html,W,h,d);    box.bh = jsMath.TeX[font].h; box.bd = jsMath.TeX[font].d;    return box;  },
meta: 7708	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7708/a3e8347a5a397c4d835558d61477842a31fe0476/jsMath.js/buggy/htdocs/jsMath/jsMath.js