code: function marker(spec) {
          var elt = window.document.createElement("div");
          elt.className = spec;
          return elt;
      }
docs: Utility for creating fold markers in fold gutter
  @param {string} spec the className for the marker
  @return {HTMLElement} a htmlelement representing the fold marker