use molokai color theme