Fixing line number padding

Some themes did not specify a line number padding value, so for files hundreds or thousands of lines long, the pointer for the selected file would overlap with the numbers. They were fixed.