Fixes for font size and line number highlighting