re-fix toolbar & console-log toolbar

ciusji · ciusji · commit 12bb9c1dbaf3 · 2022-09-16T00:33:00.000+08:00
diff --git a/packages/cells/style/inputarea.css b/packages/cells/style/inputarea.css
@@ -9,8 +9,9 @@
 
 /* All input areas */
 .jp-InputArea {
-  display: table;
-  table-layout: fixed;
+  /*display: table;*/
+
+  /*table-layout: fixed;*/
   width: 100%;
   overflow: hidden;
 }
diff --git a/packages/logconsole-extension/style/base.css b/packages/logconsole-extension/style/base.css
@@ -41,7 +41,7 @@
 
 .jp-Toolbar-item.jp-LogConsole-toolbarLogLevel {
   align-items: center;
-  padding: 0 6px;
+  padding: 0 6px 15px;
 }
 
 /* Matches the disabled style elsewhere in JupyterLab */
diff --git a/packages/notebook/style/toolbar.css b/packages/notebook/style/toolbar.css
@@ -9,6 +9,7 @@
 
 :root {
   --jp-notebook-toolbar-padding: 2px 5px 2px 2px;
+  --jp-private-toolbar-height: 44px;
 }
 
 /*-----------------------------------------------------------------------------
@@ -20,7 +21,7 @@
 .jp-NotebookPanel-toolbar {
   /*padding: var(--jp-notebook-toolbar-padding);*/
 
-  /*padding-top: 10px;*/
+  padding-top: 10px;
   padding-left: 8px;
   padding-right: 8px;
 }

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@`
`41`	`41`
`42`	`42`	`.jp-Toolbar-item.jp-LogConsole-toolbarLogLevel {`
`43`	`43`	`align-items: center;`
`44`		`- padding: 0 6px;`
	`44`	`+ padding: 0 6px 15px;`
`45`	`45`	`}`
`46`	`46`
`47`	`47`	`/* Matches the disabled style elsewhere in JupyterLab */`
Original file line number	Diff line number	Diff line change
`@@ -9,6 +9,7 @@`
`9`	`9`
`10`	`10`	`:root {`
`11`	`11`	`--jp-notebook-toolbar-padding: 2px 5px 2px 2px;`
	`12`	`+ --jp-private-toolbar-height: 44px;`
`12`	`13`	`}`
`13`	`14`
`14`	`15`	`/*-----------------------------------------------------------------------------`
`@@ -20,7 +21,7 @@`
`20`	`21`	`.jp-NotebookPanel-toolbar {`
`21`	`22`	`/padding: var(--jp-notebook-toolbar-padding);/`
`22`	`23`
`23`		`- /padding-top: 10px;/`
	`24`	`+ padding-top: 10px;`
`24`	`25`	`padding-left: 8px;`
`25`	`26`	`padding-right: 8px;`
`26`	`27`	`}`