static.css 748 B

1234567891011121314151617181920212223242526272829303132
  1. .ace_static_highlight {
  2. font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', 'Droid Sans Mono', monospace;
  3. font-size: 12px;
  4. }
  5. .ace_static_highlight .ace_gutter {
  6. width: 25px !important;
  7. display: block;
  8. float: left;
  9. text-align: right;
  10. padding: 0 3px 0 0;
  11. margin-right: 3px;
  12. position: static !important;
  13. }
  14. .ace_static_highlight .ace_line { clear: both; }
  15. .ace_static_highlight .ace_gutter-cell {
  16. -moz-user-select: -moz-none;
  17. -khtml-user-select: none;
  18. -webkit-user-select: none;
  19. user-select: none;
  20. }
  21. .ace_static_highlight .ace_gutter-cell:before {
  22. content: counter(ace_line, decimal);
  23. counter-increment: ace_line;
  24. }
  25. .ace_static_highlight {
  26. counter-reset: ace_line;
  27. }