|
@@ -170,12 +170,13 @@
|
|
|
|
|
|
#setting-editor .jp-SettingsRawEditor .jp-Inspector {
|
|
|
border-top: 2px solid var(--jp-layout-color2);
|
|
|
+ min-height: var(--jp-private-settingeditor-debug-height);
|
|
|
max-height: var(--jp-private-settingeditor-debug-height);
|
|
|
}
|
|
|
|
|
|
#setting-editor
|
|
|
.jp-SettingsRawEditor
|
|
|
- .jp-InspectorItem.jp-SettingsDebug
|
|
|
+ .jp-Inspector.jp-SettingsDebug
|
|
|
.jp-RenderedHTMLCommon {
|
|
|
padding: 2px 5px 2px 0;
|
|
|
width: 100%;
|
|
@@ -183,7 +184,7 @@
|
|
|
|
|
|
#setting-editor
|
|
|
.jp-SettingsRawEditor
|
|
|
- .jp-InspectorItem.jp-SettingsDebug
|
|
|
+ .jp-Inspector.jp-SettingsDebug
|
|
|
.jp-RenderedHTMLCommon
|
|
|
p {
|
|
|
text-align: right;
|