Add monokai theme for variety.