Editor.less 740 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. @import "../cfg.less";
  2. .root {
  3. height: 100%;
  4. box-sizing: border-box;
  5. font-family: @font-editor;
  6. // CodeMirror
  7. &.readonly {
  8. :global {
  9. .CodeMirror {
  10. .CodeMirror-linenumber {
  11. cursor: default;
  12. }
  13. .CodeMirror-cursors {
  14. display: none;
  15. }
  16. }
  17. }
  18. }
  19. &.show_search {
  20. padding-bottom: 40px;
  21. }
  22. }
  23. :global {
  24. .CodeMirror {
  25. font-family: @font-editor;
  26. }
  27. .cm-s-default .cm-comment {
  28. color: #090;
  29. }
  30. .cm-s-default .cm-ip {
  31. color: #00a;
  32. font-weight: bold;
  33. }
  34. .cm-s-default .cm-hl {
  35. background: #ff0;
  36. }
  37. .CodeMirror-gutters {
  38. border-right: none;
  39. padding-right: 6px;
  40. }
  41. .CodeMirror-linenumber {
  42. cursor: pointer;
  43. }
  44. }