Davide P. Cervone 0cf2a52745 Add styling to make mouse-based menu display look as the same as before (no focus highlighting, though focus is still set)		2015-09-12 08:58:20 -04:00
..
config	Change CHTML-preview to FHTML-preview, and make it backward compatible.	2015-08-05 17:53:27 -04:00
extensions	Add styling to make mouse-based menu display look as the same as before (no focus highlighting, though focus is still set)	2015-09-12 08:58:20 -04:00
jax	Make sure CommonHTML output is marked by isMathJax	2015-09-12 07:30:54 -04:00
localization	i18n: add newly added locales	2015-09-01 16:01:45 +02:00
MathJax.js	Also make 'role' use setAttribute()	2015-09-12 08:38:02 -04:00