{ }

{ theme = { chromaStyleOverrides = { kc = "#009900 underline"; }; name = "monokai"; }; }