sources.css 447 B

123456789101112131415161718192021
  1. [data-jp-debugger='true'].jp-Editor .jp-mod-readOnly {
  2. background: var(--jp-layout-color2);
  3. height: 100%;
  4. }
  5. .jp-DebuggerSources-body [data-jp-debugger='true'].jp-Editor {
  6. height: 100%;
  7. }
  8. .jp-DebuggerSources-body {
  9. height: 100%;
  10. }
  11. .jp-DebuggerSources-header > div > span {
  12. overflow: hidden;
  13. cursor: pointer;
  14. text-overflow: ellipsis;
  15. white-space: nowrap;
  16. font-size: var(--jp-ui-font-size0);
  17. color: var(--jp-ui-font-color1);
  18. }