sidepanel.css 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110
  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.p-TabBar {
  15. color: var(--jp-ui-font-color1);
  16. background: var(--jp-layout-color2);
  17. font-size: var(--jp-ui-font-size1);
  18. min-width: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width));
  19. max-width: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width));
  20. overflow: visible;
  21. display: block;
  22. }
  23. .jp-SideBar.p-TabBar.jp-mod-left {
  24. border-right: var(--jp-border-width) solid var(--jp-border-color0);
  25. }
  26. .jp-SideBar.p-TabBar.jp-mod-right {
  27. border-left: var(--jp-border-width) solid var(--jp-border-color1);
  28. }
  29. .jp-SideBar .p-TabBar-content,
  30. .jp-SideBar .p-TabBar-content {
  31. margin: 0;
  32. padding: 0;
  33. display: flex;
  34. align-items: stretch;
  35. list-style-type: none;
  36. height: var(--jp-private-sidebar-tab-width);
  37. transform-origin: 0 0 0;
  38. }
  39. .jp-SideBar.jp-mod-left .p-TabBar-content {
  40. flex-direction: row-reverse;
  41. transform: rotate(-90deg) translateX(-100%);
  42. }
  43. .jp-SideBar.jp-mod-right .p-TabBar-content {
  44. flex-direction: row;
  45. transform: rotate(90deg) translateY(-100%);
  46. }
  47. .jp-SideBar .p-TabBar-tab {
  48. padding: 0 18px;
  49. border: none;
  50. overflow: visible;
  51. }
  52. .jp-SideBar .p-TabBar-tab:not(.p-mod-current) {
  53. background: var(--jp-layout-color2);
  54. }
  55. .jp-SideBar .p-TabBar-tabLabel {
  56. line-height: var(--jp-private-sidebar-tab-width);
  57. }
  58. .jp-SideBar .p-TabBar-tab:hover:not(.p-mod-current) {
  59. background: var(--jp-layout-color1);
  60. }
  61. .jp-SideBar.jp-mod-left .p-TabBar-tab {
  62. border-left: var(--jp-border-width) solid var(--jp-border-color0);
  63. }
  64. .jp-SideBar.jp-mod-right .p-TabBar-tab {
  65. border-right: var(--jp-border-width) solid var(--jp-border-color1);
  66. }
  67. #jp-left-stack > .p-Widget, #jp-right-stack > .p-Widget {
  68. min-width: 300px;
  69. }
  70. #jp-right-stack {
  71. border-left: var(--jp-border-width) solid var(--jp-border-color1);
  72. }
  73. #jp-left-stack {
  74. border-right: var(--jp-border-width) solid var(--jp-border-color1);
  75. }