23f8e15816
different approach to timer handling so that it's more responsive when the user clicks a navigation button |
||
---|---|---|
.. | ||
extensions | ||
fonts/HTML-CSS/TeX/woff | ||
jax | ||
conf.js | ||
MathJax.js |
23f8e15816
different approach to timer handling so that it's more responsive when the user clicks a navigation button |
||
---|---|---|
.. | ||
extensions | ||
fonts/HTML-CSS/TeX/woff | ||
jax | ||
conf.js | ||
MathJax.js |