.CodeMirror-foldgutter {
  width: .9em;
}