commit 8d4a15abc15c47cfd0a650d4770a54aff07cc8c5
parent d0e4e1b8f57f6b2dee93b3774eb9fe54e5caafe6
Author: Davide P. Cervone <dpvc@union.edu>
Date: Wed, 26 Aug 2015 17:17:55 -0400
Fix problems with indentAlign='right'.
Diffstat:
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2957,7 +2957,7 @@
color.style.marginLeft = HTMLCSS.Em(L);
color.style.marginRight =
HTMLCSS.Em(R + (values.indentalign === "right" ?
- Math.min(0,span.bbox.w+shift) - span.bbox.w : 0));
+ span.bbox.w+shift - span.bbox.w : 0));
if (HTMLCSS.msieColorBug && values.indentalign === "right") {
if (parseFloat(color.style.marginLeft) > 0) {
var padding = MathJax.HTML.addElement(color.parentNode,"span");
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
@@ -2120,7 +2120,7 @@
if (shift) {
HUB.Insert(style,({
left: {marginLeft: SVG.Ex(shift)},
- right: {marginRight: SVG.Ex(-shift)},
+ right: {marginRight: SVG.Ex(-shift), marginLeft: SVG.Ex(Math.max(0,shift-(l+svg.w+r)))},
center: {marginLeft: SVG.Ex(shift), marginRight: SVG.Ex(-shift)}
})[values.indentalign]);
}