index.css 1.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788
  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. margin-left: 12px;
  18. margin-right: 12px;
  19. padding: 1px;
  20. }
  21. .jp-JSONEditor.jp-mod-error .jp-JSONEditor-host {
  22. border-color: red;
  23. outline-color: red;
  24. }
  25. .jp-JSONEditor-header {
  26. display: flex;
  27. flex: 1 0 auto;
  28. min-height: 13px;
  29. padding: 12px;
  30. }
  31. .jp-JSONEditor-header label {
  32. flex: 0 0 auto;
  33. }
  34. .jp-JSONEditor-commitButton, .jp-JSONEditor-revertButton, .jp-JSONEditor-collapser.jp-mod-collapse-enabled {
  35. height: 16px;
  36. width: 16px;
  37. background-size: 18px;
  38. background-repeat: no-repeat;
  39. background-position: center;
  40. }
  41. .jp-JSONEditor-commitButton {
  42. background-image: var(--jp-icon-checkmark);
  43. margin-left: 8px;
  44. }
  45. .jp-JSONEditor-revertButton {
  46. background-image: var(--jp-icon-undo);
  47. }
  48. .jp-JSONEditor-collapser.jp-mod-collapse-enabled {
  49. margin-left: 6px;
  50. background-image: var(--jp-icon-caretup);
  51. }
  52. .jp-JSONEditor-collapser.jp-mod-collapse-enabled.jp-mod-collapsed {
  53. margin-left: 6px;
  54. background-image: var(--jp-icon-caretdown);
  55. }
  56. .jp-JSONEditor-host.jp-mod-collapsed {
  57. display: none;
  58. }
  59. .jp-JSONEditor-host.jp-mod-focused {
  60. background-color: var(--jp-input-active-background);
  61. border: 1px solid var(--jp-input-active-border-color);
  62. box-shadow: var(--jp-input-box-shadow);
  63. }