CSS tweaks for line-numbers and scrollbar
more CSS laf tweaks