Tweak molokai theme settings