|
@@ -35,6 +35,7 @@
|
|
.jp-DebuggerVariableDetails {
|
|
.jp-DebuggerVariableDetails {
|
|
color: var(--jp-ui-font-color1);
|
|
color: var(--jp-ui-font-color1);
|
|
font-size: var(--jp-ui-font-size1);
|
|
font-size: var(--jp-ui-font-size1);
|
|
|
|
+ overflow: auto;
|
|
}
|
|
}
|
|
|
|
|
|
.jp-DebuggerVariableDetails table,
|
|
.jp-DebuggerVariableDetails table,
|