{
    "readDotScripted" : true,
    "ui" : {
        "font_size" : 5
    }
}