{

    "font_face": "DejaVu Sans Mono",

    "font_size": 10,

    "word_wrap": true

}