Remove highlight options

Brian

It would be helpful if it were possible to remove some (most) of the highlight formats that ship with Logos. The unused ones just get in the way.