/**
 * Minified by jsDelivr using clean-css v4.2.1.
 * Original file: /npm/codemirror@5.51.0/addon/fold/foldgutter.css
 *
 * Do NOT use SRI with dynamically generated files! More information: https://www.jsdelivr.com/using-sri-with-dynamic-files
 */
.CodeMirror-foldmarker{color:#00f;text-shadow:#b9f 1px 1px 2px,#b9f -1px -1px 2px,#b9f 1px -1px 2px,#b9f -1px 1px 2px;font-family:arial;line-height:.3;cursor:pointer}.CodeMirror-foldgutter{width:.7em}.CodeMirror-foldgutter-folded,.CodeMirror-foldgutter-open{cursor:pointer}.CodeMirror-foldgutter-open:after{content:"\25BE"}.CodeMirror-foldgutter-folded:after{content:"\25B8"}
/*# sourceMappingURL=/sm/0f11f7df8219659bbc9c189b124a6c0c26f99e1a8194d5de58266c5b8b0dd2da.map */