Revert monokai-vivid highlight color to monokai's

Orange is a better highlight color than gray :)