base.css 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) 2014-2016, Jupyter Development Team.
  3. |
  4. | Distributed under the terms of the Modified BSD License.
  5. |----------------------------------------------------------------------------*/
  6. .jp-JSONEditor {
  7. display: flex;
  8. flex-direction: column;
  9. width: 100%;
  10. }
  11. .jp-JSONEditor-host {
  12. flex: 1 1 auto;
  13. border: var(--jp-border-width) solid var(--jp-input-border-color);
  14. border-radius: 0px;
  15. background: var(--jp-layout-color0);
  16. min-height: 50px;
  17. padding: 1px;
  18. }
  19. .jp-JSONEditor.jp-mod-error .jp-JSONEditor-host {
  20. border-color: red;
  21. outline-color: red;
  22. }
  23. .jp-JSONEditor-header {
  24. display: flex;
  25. flex: 1 0 auto;
  26. padding: 0 0 0 12px;
  27. }
  28. .jp-JSONEditor-header label {
  29. flex: 0 0 auto;
  30. }
  31. .jp-JSONEditor-commitButton {
  32. height: 16px;
  33. width: 16px;
  34. background-size: 18px;
  35. background-repeat: no-repeat;
  36. background-position: center;
  37. }
  38. .jp-JSONEditor-host.jp-mod-focused {
  39. background-color: var(--jp-input-active-background);
  40. border: 1px solid var(--jp-input-active-border-color);
  41. box-shadow: var(--jp-input-box-shadow);
  42. }
  43. .jp-Editor.jp-mod-dropTarget {
  44. border: var(--jp-border-width) solid var(--jp-input-active-border-color);
  45. box-shadow: var(--jp-input-box-shadow);
  46. }