123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- /* Values inspired by http://phosphorjs.github.io/examples/tabs/ */
- .jp-DebuggerEditors .p-TabBar {
- min-height: 24px;
- max-height: 24px;
- }
- .jp-DebuggerEditors .p-TabBar-content {
- min-width: 0;
- min-height: 0;
- align-items: flex-end;
- border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
- }
- .jp-DebuggerEditors .p-TabBar-tab {
- background: var(--jp-layout-color2);
- color: var(--jp-ui-font-color1);
- padding: 0px 10px;
- border: var(--jp-border-width) solid var(--jp-border-color1);
- border-bottom: none;
- font: 12px Helvetica, Arial, sans-serif;
- flex: 0 1 125px;
- min-height: 24px;
- max-height: 24px;
- min-width: 35px;
- margin-left: -1px;
- line-height: 24px;
- }
- .jp-DebuggerEditors .p-TabBar-tab:first-child {
- margin-left: 0;
- }
- .jp-DebuggerEditors .p-TabBar-tab.p-mod-current {
- min-height: 24px;
- max-height: 24px;
- background: var(--jp-layout-color1);
- color: var(--jp-ui-font-color1);
- }
- .jp-DebuggerEditors .p-TabBar-tab:hover:not(.p-mod-current) {
- background: var(--jp-layout-color1);
- }
- .jp-DebuggerEditors .p-TabBar-tabIcon,
- .jp-DebuggerEditors .p-TabBar-tabText,
- .jp-DebuggerEditors .p-TabBar-tabCloseIcon {
- line-height: 24px;
- }
- .jp-DebuggerEditors .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
- margin-left: 4px;
- padding-top: 8px;
- background-size: 16px;
- height: 16px;
- width: 16px;
- background-image: var(--jp-icon-close);
- background-position: center;
- background-repeat: no-repeat;
- }
- .jp-DebuggerEditors
- .p-TabBar-tab.p-mod-closable
- > .p-TabBar-tabCloseIcon:hover {
- background-size: 16px;
- background-image: var(--jp-icon-close-circle);
- }
|