css line number padding improvement for 4+ chars