foldgutter.css 435 B

1234567891011121314151617181920
  1. .CodeMirror-foldmarker {
  2. color: blue;
  3. text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px;
  4. font-family: arial;
  5. line-height: .3;
  6. cursor: pointer;
  7. }
  8. .CodeMirror-foldgutter {
  9. width: .7em;
  10. }
  11. .CodeMirror-foldgutter-open,
  12. .CodeMirror-foldgutter-folded {
  13. cursor: pointer;
  14. }
  15. .CodeMirror-foldgutter-open:after {
  16. content: "\25BE";
  17. }
  18. .CodeMirror-foldgutter-folded:after {
  19. content: "\25B8";
  20. }