index.css 1.7 KB

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