{
    "font_size": 11,
    "Default_encoding": "UTF-8",
}