jupyterlab-emrys
Version:
A computational environment for Jupyter. Powered by Emrys
235 lines (130 loc) • 4.87 kB
CSS
/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/
.jp-Inspector .p-TabBar {
min-width: 300px;
min-height: 24px;
max-height: 24px;
color: #777777;
font-size: 13px;
}
.jp-Inspector .p-TabBar > .p-TabBar-header {
flex: 0 0 1px;
}
.jp-Inspector .p-TabBar-content {
min-width: 0;
padding-right: 1px;
}
.jp-Inspector .p-TabBar > .p-TabBar-footer {
flex: 0 0 1px;
background: #BDBDBD;
}
.jp-Inspector .p-TabBar-tab {
flex-basis: 144px;
min-height: 23px;
max-height: 23px;
min-width: 35px;
padding: 0px 7px;
background: #EEEEEE;
border: 1px solid #BDBDBD;
transform: translateY(-1px);
border-bottom: none;
margin-right: -1px;
}
.jp-Inspector .p-TabBar-tab.p-mod-current {
min-height: 24px;
max-height: 24px;
background: #FFFFFF;
border-top: 1px solid #2196F3;
}
.jp-Inspector .p-TabBar-tab:hover:not(.p-mod-current) {
background: #FAFAFA;
}
.jp-Inspector .p-TabBar-tabIcon,
.jp-Inspector .p-TabBar-tabText {
line-height: 24px;
}
.jp-InspectorItem {
border: 1px solid #E0E0E0;
}
.jp-InspectorItem .jp-NBToolbar {
display: flex;
flex-direction: row;
border-bottom: 1px solid #E0E0E0;
height: 24px;
}
.jp-InspectorItem-content {
height: calc(100% - 24px); /* Subtract the height of the toolbar. */
overflow: auto;
}
.jp-InspectorItem .jp-NBToolbar-button.jp-InspectorItem-clear::before {
content: "\f05e"; /* ban */
}
.jp-InspectorItem .jp-NBToolbar-button.jp-InspectorItem-back::before {
content: "\f060"; /* arrow-left */
}
.jp-InspectorItem .jp-NBToolbar-button.jp-InspectorItem-forward::before {
content: "\f061"; /* arrow-right */
}
.jp-InspectorItem .jp-NBToolbar-button.jp-InspectorItem-bottom {
position: absolute;
right: 0;
}
.jp-InspectorItem .jp-NBToolbar-button.jp-InspectorItem-bottom::before {
content: "\f103"; /* angle-double-down */
}
.jp-InspectorItem .jp-NBToolbar-button.jp-InspectorItem-right {
position: absolute;
right: 0;
}
.jp-InspectorItem .jp-NBToolbar-button.jp-InspectorItem-right::before {
content: "\f101"; /* angle-double-right */
}
.jp-InspectorItem pre {
font-size: 11px;
margin: 0;
padding: 2px;
white-space: pre-wrap;
}
/* ansi_up creates classed spans for console foregrounds and backgrounds. */
.jp-InspectorItem pre .ansi-black-fg { color: #3A3A3A; }
.jp-InspectorItem pre .ansi-red-fg { color: #DD948E; }
.jp-InspectorItem pre .ansi-green-fg { color: #B6D1AA; }
.jp-InspectorItem pre .ansi-yellow-fg { color: #F3D57C; }
.jp-InspectorItem pre .ansi-blue-fg { color: #8AA9D5; }
.jp-InspectorItem pre .ansi-magenta-fg { color: #CBAFD5; }
.jp-InspectorItem pre .ansi-cyan-fg { color: #9AD1D4; }
.jp-InspectorItem pre .ansi-white-fg { color: #EFEFEF; }
.jp-InspectorItem pre .ansi-bright-black-fg { color: #5E5D5E; }
.jp-InspectorItem pre .ansi-bright-red-fg { color: #E69B94; }
.jp-InspectorItem pre .ansi-bright-green-fg { color: #D1F0C3; }
.jp-InspectorItem pre .ansi-bright-yellow-fg { color: #F4D799; }
.jp-InspectorItem pre .ansi-bright-blue-fg { color: #A6CBFE; }
.jp-InspectorItem pre .ansi-bright-magenta-fg { color: #E8C8F3; }
.jp-InspectorItem pre .ansi-bright-cyan-fg { color: #B1F1F6; }
.jp-InspectorItem pre .ansi-bright-white-fg { color: #FFFFFF; }
.jp-InspectorItem pre .ansi-black-bg { background-color: #3B3B3B; }
.jp-InspectorItem pre .ansi-red-bg { background-color: #DE958F; }
.jp-InspectorItem pre .ansi-green-bg { background-color: #B7D2AB; }
.jp-InspectorItem pre .ansi-yellow-bg { background-color: #F4D67D; }
.jp-InspectorItem pre .ansi-blue-bg { background-color: #8BAAD6; }
.jp-InspectorItem pre .ansi-magenta-bg { background-color: #CCB0D6; }
.jp-InspectorItem pre .ansi-cyan-bg { background-color: #9BD2D5; }
.jp-InspectorItem pre .ansi-white-bg { background-color: #F0F0F0; }
.jp-InspectorItem pre .ansi-bright-black-bg { background-color: #5F5E5F; }
.jp-InspectorItem pre .ansi-bright-red-bg { background-color: #E79C95; }
.jp-InspectorItem pre .ansi-bright-green-bg { background-color: #D2F1C4; }
.jp-InspectorItem pre .ansi-bright-yellow-bg { background-color: #F5D89A; }
.jp-InspectorItem pre .ansi-bright-blue-bg { background-color: #A7CCFF; }
.jp-InspectorItem pre .ansi-bright-magenta-bg { background-color: #E8C8F3; }
.jp-InspectorItem pre .ansi-bright-cyan-bg { background-color: #B1F1F6; }
.jp-InspectorItem pre .ansi-bright-white-bg { background-color: #FFFFFF; }
/* default inspector items: hints */
.jp-InspectorItem.jp-HintsInspectorItem {
background: #FFFFCA;
}
/* default inspector items: details */
.jp-InspectorItem.jp-DetailsInspectorItem {
background: #FFFFFF;
}