Davide P. Cervone aba0f465ee Take the global scaling factor into account.		2016-08-21 15:08:54 -04:00
..
autoload	Properly scale elements with font-family specified. Resolves issue #1594.	2016-08-21 14:55:59 -04:00
fonts/TeX	Merge develop into issue1544	2016-07-26 14:54:46 -04:00
config.js	Update version numbers of changed files	2016-02-07 15:34:12 -05:00
jax.js	Take the global scaling factor into account.	2016-08-21 15:08:54 -04:00