sidepanel.css 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170
  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-sidebar-tab-width: 32px;
  10. }
  11. /*-----------------------------------------------------------------------------
  12. | SideBar
  13. |----------------------------------------------------------------------------*/
  14. .jp-SideBar {
  15. /* This is needed so that all font sizing of children done in ems is
  16. * relative to this base size */
  17. font-size: var(--jp-ui-font-size1);
  18. }
  19. .jp-SideBar.lm-TabBar {
  20. color: #4a4a4a;
  21. background-color: white;
  22. font-size: var(--jp-ui-font-size1);
  23. min-width: 180px;
  24. max-width: 180px;
  25. display: block;
  26. height: 100%;
  27. }
  28. .jp-SideBar .lm-TabBar-content {
  29. margin: 0;
  30. padding: 0;
  31. display: flex;
  32. align-items: stretch;
  33. list-style-type: none;
  34. }
  35. .jp-SideBar .lm-TabBar-tab {
  36. display: flex;
  37. align-items: center;
  38. height: 50px;
  39. padding: 0 25px;
  40. border: none;
  41. color: #4a4a4a;
  42. }
  43. .jp-SideBar .lm-TabBar-tab.lm-mod-current {
  44. background-color: #147bd1;
  45. color: white;
  46. }
  47. .jp-SideBar .lm-TabBar-tab .jp-icon3[fill] {
  48. fill: #4a4a4a;
  49. }
  50. .jp-SideBar .lm-TabBar-tab.lm-mod-current .jp-icon3[fill] {
  51. fill: white;
  52. }
  53. .jp-SideBar .lm-TabBar-tabIcon svg {
  54. width: 16px;
  55. height: 16px;
  56. display: block;
  57. }
  58. .jp-SideBar .lm-TabBar-tabIcon {
  59. margin-right: 16px;
  60. }
  61. .jp-SideBar .lm-TabBar-tab:hover:not(.lm-mod-current) {
  62. background-color: #eeeeee;
  63. }
  64. /* Borders */
  65. .jp-SideBar.lm-TabBar.jp-mod-right {
  66. border-left: var(--jp-border-width) solid var(--jp-border-color0);
  67. }
  68. .jp-SideBar.lm-TabBar.jp-mod-right .lm-TabBar-tab + .lm-TabBar-tab {
  69. border-left: var(--jp-border-width) solid var(--jp-layout-color2);
  70. }
  71. .jp-SideBar.lm-TabBar.jp-mod-right
  72. .lm-TabBar-tab.lm-mod-current
  73. + .lm-TabBar-tab {
  74. border-left: var(--jp-border-width) solid var(--jp-border-color0);
  75. }
  76. .jp-SideBar.lm-TabBar.jp-mod-right
  77. .lm-TabBar-tab
  78. + .lm-TabBar-tab.lm-mod-current {
  79. border-left: var(--jp-border-width) solid var(--jp-border-color0);
  80. }
  81. .jp-SideBar.lm-TabBar.jp-mod-right .lm-TabBar-tab.lm-mod-current:last-child {
  82. border-right: var(--jp-border-width) solid var(--jp-border-color0);
  83. }
  84. /* Transforms */
  85. .jp-SideBar.lm-TabBar.jp-mod-right .lm-TabBar-content {
  86. flex-direction: row;
  87. transform: rotate(90deg) translateY(-100%);
  88. }
  89. .jp-SideBar.lm-TabBar.jp-mod-right
  90. .lm-TabBar-tab:not(.lm-mod-current)
  91. .lm-TabBar-tabIcon {
  92. transform: rotate(-90deg);
  93. }
  94. .jp-SideBar.lm-TabBar.jp-mod-right
  95. .lm-TabBar-tab.lm-mod-current
  96. .lm-TabBar-tabIcon {
  97. transform: rotate(-90deg)
  98. translate(
  99. calc(0.5 * var(--jp-border-width)),
  100. calc(-0.5 * var(--jp-border-width))
  101. );
  102. }
  103. /* Down */
  104. /* Borders */
  105. #jp-down-stack > .lm-TabBar {
  106. border-top: var(--jp-border-width) solid var(--jp-border-color0);
  107. border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
  108. }
  109. #jp-down-stack > .lm-TabBar .lm-TabBar-tab {
  110. border-left: none;
  111. border-right: none;
  112. }
  113. #jp-down-stack > .lm-TabBar .lm-TabBar-tab.lm-mod-current {
  114. border: var(--jp-border-width) solid var(--jp-border-color1);
  115. border-bottom: none;
  116. transform: translateY(var(--jp-border-width));
  117. }
  118. #jp-down-stack > .lm-TabBar .lm-TabBar-tab.lm-mod-current:first-child {
  119. border: none;
  120. border-right: var(--jp-border-width) solid var(--jp-border-color1);
  121. }
  122. /* Stack panels */
  123. #jp-left-stack > .lm-Widget,
  124. #jp-right-stack > .lm-Widget {
  125. min-width: var(--jp-sidebar-min-width);
  126. background-color: #f8f8f9;
  127. }
  128. #jp-right-stack {
  129. border-left: var(--jp-border-width) solid var(--jp-border-color1);
  130. }
  131. #jp-left-stack {
  132. box-shadow: 1px 0px 6px 0px rgba(0, 0, 0, 0.12);
  133. }
  134. #jp-down-stack > .lm-TabPanel-stackedPanel {
  135. border: none;
  136. }