Davide P. Cervone e6f15a4bec Convert use of custom tags to span-with-class		2015-08-29 08:24:44 -04:00
..
autoload	Convert use of custom tags to span-with-class	2015-08-29 08:24:44 -04:00
fonts/TeX	Handle centerline for stretchy characters, and add centerline data to font files.	2015-08-10 19:40:30 -04:00
config.js	Update HTML-CSS fonts to be usable by CommonHTML, and remove the CommonHTML fonts. Update @font-face to include the new formats.	2015-04-17 16:01:57 -04:00
jax.js	Convert use of custom tags to span-with-class	2015-08-29 08:24:44 -04:00