CSS tweaks for linenums=True