Davide P. Cervone 76f52f6462 Make Chrome use px rather than em for better vertical alignment, and force placeBox to round to nearest pixel for baseline alignment spans. Also check that the height matches what we actually specified (but this means a page reflow, which will cost some performance in Chrome). Resolves issue #295.		2012-08-22 10:50:42 -04:00
..
autoload	Make an HTMLCSS.unEm() function to undo HTMLCSS.Em(), and use that rather than parseFloat() so that the code is not dependent on the use of em's but could be converted to px, for example, if that helps some spacing issues.	2012-08-21 19:52:19 -04:00
fonts	Merge branch 'issue119' into develop	2012-08-20 10:13:25 -04:00
blank.gif	moved files out of mathjax/ to top level	2010-11-13 12:38:42 -06:00
config.js	Make Chrome use px rather than em for better vertical alignment, and force placeBox to round to nearest pixel for baseline alignment spans. Also check that the height matches what we actually specified (but this means a page reflow, which will cost some performance in Chrome). Resolves issue #295.	2012-08-22 10:50:42 -04:00
imageFonts.js	Update copyright dates and set version numbers to 2.0; repack and recombine	2012-01-25 09:23:45 -05:00
jax.js	Make Chrome use px rather than em for better vertical alignment, and force placeBox to round to nearest pixel for baseline alignment spans. Also check that the height matches what we actually specified (but this means a page reflow, which will cost some performance in Chrome). Resolves issue #295.	2012-08-22 10:50:42 -04:00