font_family Monoid bold_font auto italic_font auto bold_italic_font auto font_size 7 map ctrl+shift+enter no_op foreground #711C91 # fix for unicode char box_drawing_scale 0.1, 0.1, 0.1, 0.1