Use proper scaling factor for zoom in HTML-CSS output, and don't set a font on the zoom frame

This commit is contained in:
Davide P. Cervone 2011-09-18 17:16:50 -04:00
parent 1b81935c8a
commit baeaf82f91
12 changed files with 20 additions and 18 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View File

@ -33,8 +33,8 @@
"#MathJax_Zoom": {
position:"absolute", "background-color":"#F0F0F0", overflow:"auto",
display:"block", "z-index":301, padding:".5em", border:"1px solid black", margin:0,
"font-family":"serif", "font-size":"85%", "font-weight":"normal",
"font-style":"normal", "text-align":"left", "text-indent":0, "text-transform":"none",
"font-weight":"normal", "font-style":"normal",
"text-align":"left", "text-indent":0, "text-transform":"none",
"line-height":"normal", "letter-spacing":"normal", "word-spacing":"normal",
"word-wrap":"normal", "white-space":"nowrap", "float":"none",
"box-shadow":"5px 5px 15px #AAAAAA", // Opera 10.5 and IE9

View File

@ -603,14 +603,16 @@
//
// Re-render at larger size
//
span.className = "MathJax"; //this.getScales(span,span);
span.className = "MathJax";
span.style.fontSize = jax.HTMLCSS.fontSize;
//
// get em sizes (taken from HTMLCSS.preTranslate)
//
var emex = span.appendChild(this.EmExSpan.cloneNode(true));
var em = emex.lastChild.firstChild.offsetWidth/60;
this.msieMarginScale = 1; this.em = MML.mbase.prototype.em = em; this.outerEm = em;
this.msieMarginScale = 1; this.em = MML.mbase.prototype.em = em;
this.outerEm = em / jax.HTMLCSS.scale;
emex.parentNode.removeChild(emex);
this.idPostfix = "-zoom"; jax.root.toHTML(span,span); this.idPostfix = "";