@@ -14,6 +14,8 @@
flex: 1 1 auto;
flex-direction: column;
margin-top: -1px;
+ min-width: 240px;
+ min-height: 120px;
}
@@ -9,6 +9,8 @@
outline: none;
display: flex;
@@ -39,4 +41,4 @@
.jp-FAQ-content a {
color: var(--jp-brand-color1);
-}
+}
@@ -5,7 +5,8 @@
.jp-Help {
- min-width: 480px;
+ min-height: 240px;
background: white;
@@ -19,6 +19,8 @@
.jp-Inspector {
+ min-width: 120px;
@@ -26,6 +26,8 @@
background: var(--jp-layout-color0);
box-sizing: border-box;
@@ -32,14 +32,14 @@
height: 100%;
+ min-width: 240px !important;
+ min-height: 120px !important;
.jp-Notebook {
padding: var(--jp-notebook-padding);
- min-width: 50px;
- min-height: 50px;
overflow: auto;
@@ -15,6 +15,8 @@
#setting-editor {
+ min-width: 360px;
background-color: var(--jp-layout-color0);
border-top: var(--jp-border-width) solid var(--jp-border-color1);
@@ -76,8 +78,8 @@
#setting-editor .jp-PluginList {
- min-width: 150px;
- width: 150px;
+ width: 120px;
@@ -12,8 +12,8 @@
.jp-Terminal {
- min-width: 200px;
- min-height: 200px;
padding: 8px;
margin: 0;
@@ -97,4 +97,4 @@
.jp-Terminal-light .terminal .xterm-viewport {
background-color: white;