better scroll sync; broken mathjax; better styling