jax.js now accepts additional parameter for setting the font; general cleanup