Rob Lewis
Rob Lewis
I think all of the to-dos are taken care of now (thanks @EdAyers !). I enabled lazy typesetting in mathjax, and confirmed it only processes when the display is unrolled.
> But what we could do at least is a JavaScript full text search client-side using http://elasticlunr.com/ or something like this. Actually, a student of mine is looking into doing...
Alex's PR to the docs pages added meta-info that gives you a nice logo and preview when you link from Twitter. These work on a page-by-page basis. If we add...