Use a custom theme to provide monokai overrides.