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