{ "fontSize": "12px", "theme": "monokai" }