1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- .jp-DebuggerVariables {
- display: flex;
- flex-direction: column;
- }
- .jp-DebuggerVariables-body {
- display: flex;
- flex-direction: column;
- flex: 1 1 auto;
- min-height: 24px;
- overflow: auto;
- }
- .jp-DebuggerVariables-body ul {
- list-style: none;
- margin: 0;
- padding: 0;
- }
- .jp-DebuggerVariables-body > ul {
- padding-top: 0.1em;
- }
- .jp-DebuggerVariables-body ul li {
- padding: 5px 0 0 0;
- cursor: pointer;
- color: var(--jp-content-font-color1);
- }
- .jp-DebuggerVariables-body ul li > ul {
- margin-left: 12px;
- }
- .jp-DebuggerVariables .jp-stack-panel-header .jp-Toolbar {
- margin-left: auto;
- }
- .jp-DebuggerVariables-grid {
- flex: 1 1 auto;
- }
- .jp-DebuggerVariables-grid .lm-DataGrid {
- border: none;
- }
- .jp-DebuggerVariables-colorPalette {
- visibility: hidden;
- z-index: -999;
- position: absolute;
- left: -999;
- top: -999;
- }
- .jp-DebuggerVariables-colorPalette .jp-mod-void {
- color: var(--jp-layout-color1);
- }
- .jp-DebuggerVariables-colorPalette .jp-mod-background {
- color: var(--jp-rendermime-table-row-background);
- }
- .jp-DebuggerVariables-colorPalette .jp-mod-header-background {
- color: var(--jp-layout-color2);
- }
- .jp-DebuggerVariables-colorPalette .jp-mod-grid-line {
- color: var(--jp-border-color3);
- }
- .jp-DebuggerVariables-colorPalette .jp-mod-header-grid-line {
- color: var(--jp-border-color3);
- }
- .jp-DebuggerVariables-colorPalette .jp-mod-selection {
- /* TODO: Fix JupyterLab light theme (alpha) so this can be a variable. */
- color: rgba(3, 169, 244, 0.2);
- }
- .jp-DebuggerVariables-colorPalette .jp-mod-text {
- color: var(--jp-content-font-color0);
- }
|