font_family      Monoid
bold_font        auto
italic_font      auto
bold_italic_font auto

font_size 7

map ctrl+shift+enter no_op