Fix PDF position tracking
Merge branch 'master-redesign' of github.com:sharelatex/web-sharelatex into master-redesign
Tweak menu style