static.css 851 B

1234567891011121314151617181920212223242526272829303132333435363738
  1. .ace_static_highlight {
  2. font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', 'Droid Sans Mono', monospace;
  3. font-size: 12px;
  4. white-space: pre-wrap
  5. }
  6. .ace_static_highlight .ace_gutter {
  7. width: 2em;
  8. text-align: right;
  9. padding: 0 3px 0 0;
  10. margin-right: 3px;
  11. }
  12. .ace_static_highlight.ace_show_gutter .ace_line {
  13. padding-left: 2.6em;
  14. }
  15. .ace_static_highlight .ace_line { position: relative; }
  16. .ace_static_highlight .ace_gutter-cell {
  17. -moz-user-select: -moz-none;
  18. -khtml-user-select: none;
  19. -webkit-user-select: none;
  20. user-select: none;
  21. top: 0;
  22. bottom: 0;
  23. left: 0;
  24. position: absolute;
  25. }
  26. .ace_static_highlight .ace_gutter-cell:before {
  27. content: counter(ace_line, decimal);
  28. counter-increment: ace_line;
  29. }
  30. .ace_static_highlight {
  31. counter-reset: ace_line;
  32. }