Davide P. Cervone f002f4924b Change the default font-family for undefined character to be a configuration parameter		2011-05-08 21:20:27 -04:00
..
config	Change the default font-family for undefined character to be a configuration parameter	2011-05-08 21:20:27 -04:00
extensions	Merge dpvc/issue85 (fixes for element configuration option)	2011-04-05 12:19:46 -04:00
jax	Change the default font-family for undefined character to be a configuration parameter	2011-05-08 21:20:27 -04:00
MathJax.js	Resolve a conflict with Mathjax and Slidy (its sets window.opera, which confused the browser detection)	2011-04-05 12:25:44 -04:00