use ui font in mini-editor, thin border on gutter