Change highlight CSS (for PDF.js)

This code comes 100% from @aron.

All the required code changes has landed on the master branch now; only the CSS is left.

Will fix #1790.

Before merging, we should analyze what impact does this have on #1816 and #1766.