1 2 3 4 5 6 7 8
font_family Monoid bold_font auto italic_font auto bold_italic_font auto font_size 7 map ctrl+shift+enter no_op