editor.css 772 B

1234567891011121314151617181920212223242526
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-DebuggerEditor-highlight {
  6. text-shadow: 0 0 1px var(--jp-layout-color0);
  7. outline: 1px solid;
  8. }
  9. body[data-jp-theme-light='false'] .jp-DebuggerEditor-highlight {
  10. background-color: var(--md-brown-800);
  11. outline-color: var(--md-brown-600);
  12. }
  13. body[data-jp-theme-light='true'] .jp-DebuggerEditor-highlight {
  14. background-color: var(--md-brown-100);
  15. outline-color: var(--md-brown-300);
  16. }
  17. .jp-DebuggerEditor-marker {
  18. position: absolute;
  19. left: -34px;
  20. top: -1px;
  21. color: var(--jp-error-color1);
  22. }