tweak left margin on ordered lists in vibrant theme. #6798