index.css 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. /*-----------------------------------------------------------------------------
  6. | Variables
  7. |----------------------------------------------------------------------------*/
  8. :root {
  9. --jp-private-inspector-tab-height: 24px;
  10. --jp-private-inspector-tab-width: 60px;
  11. }
  12. /*-----------------------------------------------------------------------------
  13. | Inspector
  14. |----------------------------------------------------------------------------*/
  15. .jp-Inspector {
  16. border: none;
  17. outline: none;
  18. }
  19. /* default inspector items: hints */
  20. .jp-InspectorItem.jp-HintsInspectorItem,
  21. .jp-InspectorItem.jp-HintsInspectorItem .p-Widget {
  22. background: var(--jp-layout-color1);
  23. }
  24. .jp-InspectorItem.jp-HintsInspectorItem .jp-Toolbar {
  25. display: none;
  26. }
  27. /* default inspector items: details */
  28. .jp-InspectorItem.jp-DetailsInspectorItem .p-Widget {
  29. background: var(--jp-layout-color1);
  30. }
  31. /*-----------------------------------------------------------------------------
  32. | Inspector tabs
  33. |----------------------------------------------------------------------------*/
  34. .jp-Inspector .p-TabBar {
  35. min-width: 300px;
  36. min-height: var(--jp-private-inspector-tab-height);
  37. color: var(--jp-ui-font-color1);
  38. font-size: var(--jp-ui-font-size1);
  39. }
  40. .jp-Inspector .p-TabBar .p-TabBar-tab {
  41. flex-basis: var(--jp-private-inspector-tab-width);
  42. min-height: var(--jp-private-inspector-tab-height);
  43. min-width: var(--jp-private-inspector-tab-width);
  44. padding: 0px 8px;
  45. background: var(--jp-layout-color1);
  46. border: none;
  47. transform: none;
  48. margin-right: 0px;
  49. line-height: var(--jp-private-inspector-tab-height);
  50. }
  51. .jp-Inspector .p-TabBar .p-TabBar-tab.p-mod-current {
  52. min-height: var(--jp-private-inspector-tab-height);
  53. color: var(--jp-ui-font-color0);
  54. transform: none;
  55. background: var(--jp-layout-color2);
  56. }
  57. .jp-Inspector .p-TabBar-tab:hover:not(.p-mod-current) {
  58. background: var(--jp-layout-color1);
  59. }
  60. /*-----------------------------------------------------------------------------
  61. | InspectorItem
  62. |----------------------------------------------------------------------------*/
  63. .jp-InspectorItem {
  64. border: none;
  65. }
  66. .jp-InspectorItem-content {
  67. height: calc(100% - 24px); /* Subtract the height of the toolbar. */
  68. overflow: auto;
  69. padding: 4px;
  70. }
  71. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-clear::before {
  72. content: "\f05e"; /* ban */
  73. }
  74. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-back::before {
  75. content: "\f060"; /* arrow-left */
  76. }
  77. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-forward::before {
  78. content: "\f061"; /* arrow-right */
  79. }
  80. .jp-InspectorItem pre {
  81. font-size: var(--jp-code-font-size);
  82. line-height: var(--jp-code-line-height);
  83. margin: 0;
  84. white-space: pre-wrap;
  85. }
  86. /* ansi_up creates classed spans for console foregrounds and backgrounds. */
  87. .jp-InspectorItem pre .ansi-black-fg { color: #3A3A3A; }
  88. .jp-InspectorItem pre .ansi-red-fg { color: #DD948E; }
  89. .jp-InspectorItem pre .ansi-green-fg { color: #B6D1AA; }
  90. .jp-InspectorItem pre .ansi-yellow-fg { color: #F3D57C; }
  91. .jp-InspectorItem pre .ansi-blue-fg { color: #8AA9D5; }
  92. .jp-InspectorItem pre .ansi-magenta-fg { color: #CBAFD5; }
  93. .jp-InspectorItem pre .ansi-cyan-fg { color: #9AD1D4; }
  94. .jp-InspectorItem pre .ansi-white-fg { color: #EFEFEF; }
  95. .jp-InspectorItem pre .ansi-bright-black-fg { color: #5E5D5E; }
  96. .jp-InspectorItem pre .ansi-bright-red-fg { color: #E69B94; }
  97. .jp-InspectorItem pre .ansi-bright-green-fg { color: #D1F0C3; }
  98. .jp-InspectorItem pre .ansi-bright-yellow-fg { color: #F4D799; }
  99. .jp-InspectorItem pre .ansi-bright-blue-fg { color: #A6CBFE; }
  100. .jp-InspectorItem pre .ansi-bright-magenta-fg { color: #E8C8F3; }
  101. .jp-InspectorItem pre .ansi-bright-cyan-fg { color: #B1F1F6; }
  102. .jp-InspectorItem pre .ansi-bright-white-fg { color: #FFFFFF; }
  103. .jp-InspectorItem pre .ansi-black-bg { background-color: #3B3B3B; }
  104. .jp-InspectorItem pre .ansi-red-bg { background-color: #DE958F; }
  105. .jp-InspectorItem pre .ansi-green-bg { background-color: #B7D2AB; }
  106. .jp-InspectorItem pre .ansi-yellow-bg { background-color: #F4D67D; }
  107. .jp-InspectorItem pre .ansi-blue-bg { background-color: #8BAAD6; }
  108. .jp-InspectorItem pre .ansi-magenta-bg { background-color: #CCB0D6; }
  109. .jp-InspectorItem pre .ansi-cyan-bg { background-color: #9BD2D5; }
  110. .jp-InspectorItem pre .ansi-white-bg { background-color: #F0F0F0; }
  111. .jp-InspectorItem pre .ansi-bright-black-bg { background-color: #5F5E5F; }
  112. .jp-InspectorItem pre .ansi-bright-red-bg { background-color: #E79C95; }
  113. .jp-InspectorItem pre .ansi-bright-green-bg { background-color: #D2F1C4; }
  114. .jp-InspectorItem pre .ansi-bright-yellow-bg { background-color: #F5D89A; }
  115. .jp-InspectorItem pre .ansi-bright-blue-bg { background-color: #A7CCFF; }
  116. .jp-InspectorItem pre .ansi-bright-magenta-bg { background-color: #E8C8F3; }
  117. .jp-InspectorItem pre .ansi-bright-cyan-bg { background-color: #B1F1F6; }
  118. .jp-InspectorItem pre .ansi-bright-white-bg { background-color: #FFFFFF; }