fixing molokai theme highlighting color