Davide P. Cervone 8f9d982af6 Scale displayIndent to HTML size, since the shift is outside the font-size scaling. This was required by the change to issue 769. (Issue #768.)		2015-01-24 05:15:21 -05:00
..
element/mml	Update version numbers for 2.5.0-beta	2014-12-30 18:27:01 -05:00
input	Make \overline{\lim_{x}} have correct spacing for overline with Firefox. Issue #490.	2015-01-17 08:25:14 -05:00
output	Scale displayIndent to HTML size, since the shift is outside the font-size scaling. This was required by the change to issue 769. (Issue #768.)	2015-01-24 05:15:21 -05:00