What type of Differential oil?

dart65 said
(BTW what is "hypoid" gear oil?)

Oil for hypoid cut gears. Just gear oil but a more specific term.