acedevtools.css 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. .ace_editor * {
  2. -webkit-box-sizing: content-box;
  3. }
  4. .ace-editor-container {
  5. height: 100%;
  6. }
  7. .webkit-execution-line {
  8. background-color: rgb(171, 191, 254);
  9. outline: 1px solid rgb(64, 115, 244);
  10. position: absolute;
  11. }
  12. .webkit-gutter-execution-line {
  13. color: transparent;
  14. border-width: 0 10px 0px 2px;
  15. -webkit-border-image: url(Images/programCounterBorder.png) 0 10 0 2;
  16. }
  17. .webkit-gutter-execution-line.webkit-breakpoint {
  18. -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 10 0 2;
  19. }
  20. .webkit-gutter-execution-line.webkit-breakpoint-conditional {
  21. -webkit-border-image: url(Images/breakpointConditionalCounterBorder.png) 0 10 0 2;
  22. }
  23. .ace_gutter-cell.webkit-breakpoint {
  24. color: white;
  25. border-width: 0 10px 0px 2px;
  26. -webkit-border-image: url(Images/breakpointBorder.png) 0 10 0 2;
  27. padding-right: 0px !important;
  28. padding-left: 4px !important;
  29. }
  30. .ace_gutter-cell.webkit-breakpoint-conditional {
  31. color: transparent;
  32. -webkit-border-image: url(Images/breakpointConditionalCounterBorder.png) 0 10 0 2;
  33. }
  34. .ace_gutter-cell.webkit-breakpoint-disabled {
  35. opacity: 0.5;
  36. }
  37. .ace_gutter-cell {
  38. padding-left: 6px !important;
  39. padding-right: 10px !important;
  40. }