codemirror.css 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  1. .CodeMirror {
  2. line-height: 1em;
  3. font-family: monospace;
  4. }
  5. .CodeMirror-scroll {
  6. overflow: auto;
  7. height: 300px;
  8. /* This is needed to prevent an IE[67] bug where the scrolled content
  9. is visible outside of the scrolling box. */
  10. position: relative;
  11. }
  12. .CodeMirror-gutter {
  13. position: absolute; left: 0; top: 0;
  14. background-color: #f7f7f7;
  15. border-right: 1px solid #eee;
  16. min-width: 2em;
  17. height: 100%;
  18. }
  19. .CodeMirror-gutter-text {
  20. color: #aaa;
  21. text-align: right;
  22. padding: .4em .2em .4em .4em;
  23. }
  24. .CodeMirror-lines {
  25. padding: .4em;
  26. }
  27. .CodeMirror pre {
  28. -moz-border-radius: 0;
  29. -webkit-border-radius: 0;
  30. -o-border-radius: 0;
  31. border-radius: 0;
  32. border-width: 0; margin: 0; padding: 0; background: transparent;
  33. font-family: inherit;
  34. font-size: inherit;
  35. padding: 0; margin: 0;
  36. white-space: pre;
  37. word-wrap: normal;
  38. }
  39. .CodeMirror textarea {
  40. font-family: inherit !important;
  41. font-size: inherit !important;
  42. }
  43. .CodeMirror-cursor {
  44. z-index: 10;
  45. position: absolute;
  46. visibility: hidden;
  47. border-left: 1px solid black !important;
  48. }
  49. .CodeMirror-focused .CodeMirror-cursor {
  50. visibility: visible;
  51. }
  52. span.CodeMirror-selected {
  53. background: #ccc !important;
  54. color: HighlightText !important;
  55. }
  56. .CodeMirror-focused span.CodeMirror-selected {
  57. background: Highlight !important;
  58. }
  59. .CodeMirror-matchingbracket {color: #0f0 !important;}
  60. .CodeMirror-nonmatchingbracket {color: #f22 !important;}