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