re-fix toolbar

ciusji · ciusji · commit b3e65d6d4891 · 2022-09-15T21:14:23.000+08:00
diff --git a/packages/application/style/sidepanel.css b/packages/application/style/sidepanel.css
@@ -222,9 +222,8 @@
 /* Borders */
 
 #jp-down-stack > .lm-TabBar {
-  /*border-top: var(--jp-border-width) solid var(--jp-border-color0);*/
-
-  /*border-bottom: var(--jp-border-width) solid var(--jp-border-color0);*/
+  border-top: var(--jp-border-width) solid var(--jp-border-color0);
+  border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
 }
 
 #jp-down-stack > .lm-TabBar .lm-TabBar-tab {
diff --git a/packages/notebook/style/toolbar.css b/packages/notebook/style/toolbar.css
@@ -19,7 +19,8 @@
 
 .jp-NotebookPanel-toolbar {
   /*padding: var(--jp-notebook-toolbar-padding);*/
-  padding-top: 10px;
+
+  /*padding-top: 10px;*/
   padding-left: 8px;
   padding-right: 8px;
 }
diff --git a/packages/ui-components/style/toolbar.css b/packages/ui-components/style/toolbar.css
@@ -5,9 +5,7 @@
 |----------------------------------------------------------------------------*/
 
 :root {
-  --jp-private-toolbar-height: calc(
-    43px + var(--jp-border-width)
-  ); /* leave 44px for content */
+  --jp-private-toolbar-height: calc(28px + var(--jp-border-width));
 }
 
 .jp-Toolbar {

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,8 @@`
`19`	`19`
`20`	`20`	`.jp-NotebookPanel-toolbar {`
`21`	`21`	`/padding: var(--jp-notebook-toolbar-padding);/`
`22`		`- padding-top: 10px;`
	`22`	`+`
	`23`	`+ /padding-top: 10px;/`
`23`	`24`	`padding-left: 8px;`
`24`	`25`	`padding-right: 8px;`
`25`	`26`	`}`
Original file line number	Diff line number	Diff line change
`@@ -5,9 +5,7 @@`
`5`	`5`	`\|----------------------------------------------------------------------------*/`
`6`	`6`
`7`	`7`	`:root {`
`8`		`- --jp-private-toolbar-height: calc(`
`9`		`- 43px + var(--jp-border-width)`
`10`		`- ); /* leave 44px for content */`
	`8`	`+ --jp-private-toolbar-height: calc(28px + var(--jp-border-width));`
`11`	`9`	`}`
`12`	`10`
`13`	`11`	`.jp-Toolbar {`