Updated theme line number face to be less distracting.