123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- /*-----------------------------------------------------------------------------
- | Variables
- |----------------------------------------------------------------------------*/
- :root {
- --jp-private-sidebar-tab-width: 32px;
- }
- /*-----------------------------------------------------------------------------
- | SideBar
- |----------------------------------------------------------------------------*/
- .jp-SideBar {
- /* This is needed so that all font sizing of children done in ems is
- * relative to this base size */
- font-size: var(--jp-ui-font-size1);
- }
- .jp-SideBar.p-TabBar {
- color: var(--jp-ui-font-color1);
- background: var(--jp-layout-color2);
- font-size: var(--jp-ui-font-size1);
- min-width: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width));
- max-width: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width));
- overflow: visible;
- display: block;
- }
- .jp-SideBar.p-TabBar.jp-mod-left {
- border-right: var(--jp-border-width) solid var(--jp-border-color0);
- }
- .jp-SideBar.p-TabBar.jp-mod-right {
- border-left: var(--jp-border-width) solid var(--jp-border-color1);
- }
- .jp-SideBar .p-TabBar-content,
- .jp-SideBar .p-TabBar-content {
- margin: 0;
- padding: 0;
- display: flex;
- align-items: stretch;
- list-style-type: none;
- height: var(--jp-private-sidebar-tab-width);
- transform-origin: 0 0 0;
- }
- .jp-SideBar.jp-mod-left .p-TabBar-content {
- flex-direction: row-reverse;
- transform: rotate(-90deg) translateX(-100%);
- }
- .jp-SideBar.jp-mod-right .p-TabBar-content {
- flex-direction: row;
- transform: rotate(90deg) translateY(-100%);
- }
- .jp-SideBar .p-TabBar-tab {
- padding: 0 18px;
- border: none;
- overflow: visible;
- }
- .jp-SideBar .p-TabBar-tab:not(.p-mod-current) {
- background: var(--jp-layout-color2);
- }
- .jp-SideBar .p-TabBar-tabLabel {
- line-height: var(--jp-private-sidebar-tab-width);
- }
- .jp-SideBar .p-TabBar-tab:hover:not(.p-mod-current) {
- background: var(--jp-layout-color1);
- }
- .jp-SideBar.jp-mod-left .p-TabBar-tab {
- border-left: var(--jp-border-width) solid var(--jp-border-color0);
- }
- .jp-SideBar.jp-mod-right .p-TabBar-tab {
- border-right: var(--jp-border-width) solid var(--jp-border-color1);
- }
- #jp-left-stack > .p-Widget, #jp-right-stack > .p-Widget {
- min-width: 300px;
- }
- #jp-right-stack {
- border-left: var(--jp-border-width) solid var(--jp-border-color1);
- }
- #jp-left-stack {
- border-right: var(--jp-border-width) solid var(--jp-border-color1);
- }
|