Closed pkra closed 8 years ago
On further thought and testing, I think this is ready to go. I don't think it is really blocked by the upstream issue (since we're using CommonHTML and the current Lens code only affects HTML-CSS output).
Ready to merge.
Manually resolved after discussion with @davidmjones.
This adds a small MathJax pseudo-extension that implements a simpler shrink/zoom, re-using MathJax's zoom.
Fixes #22 (for now).