index.css 2.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  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. outline: none;
  17. min-width: 120px;
  18. min-height: 120px;
  19. }
  20. /* default inspector items: hints */
  21. .jp-InspectorItem.jp-HintsInspectorItem,
  22. .jp-InspectorItem.jp-HintsInspectorItem .p-Widget {
  23. background: var(--jp-layout-color1);
  24. }
  25. .jp-InspectorItem.jp-HintsInspectorItem .jp-Toolbar {
  26. display: none;
  27. }
  28. /* default inspector items: details */
  29. .jp-InspectorItem.jp-DetailsInspectorItem .p-Widget {
  30. background: var(--jp-layout-color1);
  31. }
  32. /*-----------------------------------------------------------------------------
  33. | Inspector tabs
  34. |----------------------------------------------------------------------------*/
  35. .jp-Inspector .p-TabBar {
  36. min-width: 300px;
  37. min-height: var(--jp-private-inspector-tab-height);
  38. color: var(--jp-ui-font-color1);
  39. font-size: var(--jp-ui-font-size1);
  40. }
  41. .jp-Inspector .p-TabBar .p-TabBar-tab {
  42. flex-basis: var(--jp-private-inspector-tab-width);
  43. min-height: var(--jp-private-inspector-tab-height);
  44. min-width: var(--jp-private-inspector-tab-width);
  45. padding: 0px 8px;
  46. background: var(--jp-layout-color1);
  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. display: flex;
  65. border: none;
  66. }
  67. .jp-InspectorItem-content {
  68. overflow: auto;
  69. padding: 8px;
  70. width: 100%;
  71. }
  72. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-clear::before {
  73. content: '\f05e'; /* ban */
  74. }
  75. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-back::before {
  76. content: '\f060'; /* arrow-left */
  77. }
  78. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-forward::before {
  79. content: '\f061'; /* arrow-right */
  80. }
  81. .jp-InspectorItem pre {
  82. white-space: pre-wrap;
  83. font-size: var(--jp-code-font-size);
  84. line-height: var(--jp-code-line-height);
  85. margin: 0;
  86. }