index.css 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116
  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. }
  18. /* default inspector items: hints */
  19. .jp-InspectorItem.jp-HintsInspectorItem,
  20. .jp-InspectorItem.jp-HintsInspectorItem .p-Widget {
  21. background: var(--jp-layout-color1);
  22. }
  23. .jp-InspectorItem.jp-HintsInspectorItem .jp-Toolbar {
  24. display: none;
  25. }
  26. /* default inspector items: details */
  27. .jp-InspectorItem.jp-DetailsInspectorItem .p-Widget {
  28. background: var(--jp-layout-color1);
  29. }
  30. /*-----------------------------------------------------------------------------
  31. | Inspector tabs
  32. |----------------------------------------------------------------------------*/
  33. .jp-Inspector .p-TabBar {
  34. min-width: 300px;
  35. min-height: var(--jp-private-inspector-tab-height);
  36. color: var(--jp-ui-font-color1);
  37. font-size: var(--jp-ui-font-size1);
  38. }
  39. .jp-Inspector .p-TabBar .p-TabBar-tab {
  40. flex-basis: var(--jp-private-inspector-tab-width);
  41. min-height: var(--jp-private-inspector-tab-height);
  42. min-width: var(--jp-private-inspector-tab-width);
  43. padding: 0px 8px;
  44. background: var(--jp-layout-color1);
  45. transform: none;
  46. margin-right: 0px;
  47. line-height: var(--jp-private-inspector-tab-height);
  48. }
  49. .jp-Inspector .p-TabBar .p-TabBar-tab.p-mod-current {
  50. min-height: var(--jp-private-inspector-tab-height);
  51. color: var(--jp-ui-font-color0);
  52. transform: none;
  53. background: var(--jp-layout-color2);
  54. }
  55. .jp-Inspector .p-TabBar-tab:hover:not(.p-mod-current) {
  56. background: var(--jp-layout-color1);
  57. }
  58. /*-----------------------------------------------------------------------------
  59. | InspectorItem
  60. |----------------------------------------------------------------------------*/
  61. .jp-InspectorItem {
  62. display: flex;
  63. border: none;
  64. }
  65. .jp-InspectorItem-content {
  66. overflow: auto;
  67. padding: 8px;
  68. }
  69. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-clear::before {
  70. content: "\f05e"; /* ban */
  71. }
  72. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-back::before {
  73. content: "\f060"; /* arrow-left */
  74. }
  75. .jp-InspectorItem .jp-Toolbar-button.jp-InspectorItem-forward::before {
  76. content: "\f061"; /* arrow-right */
  77. }
  78. .jp-InspectorItem pre {
  79. font-size: var(--jp-code-font-size);
  80. line-height: var(--jp-code-line-height);
  81. margin: 0;
  82. }