Full documentation of allowed options
Editor uses light or dark theme based on your browser settings.
Specify JSON here. Example:

    {
        "fontSize": 20,
        "renderWhitespace": "all"
    }