Fix rule, remove redundant rule

JasonWeill · JasonWeill · commit 5558318ffee7 · 2023-03-24T11:26:31.000-07:00
diff --git a/packages/notebook-extension/style/base.css b/packages/notebook-extension/style/base.css
@@ -122,12 +122,6 @@ body[data-notebook='notebooks']
   }
 }
 
-/* Hide the stub toolbar that appears above notebooks */
-
-jp-MainAreaWidget > .jp-Toolbar-micro {
-  display: none;
-}
-
 /* Mobile View */
 
 body[data-format='mobile'] .jp-NotebookCheckpoint {
diff --git a/packages/terminal-extension/style/base.css b/packages/terminal-extension/style/base.css
@@ -1,5 +1,5 @@
 /* Hide the stub toolbar that appears above terminals */
 
-jp-MainAreaWidget > .jp-Toolbar-micro {
+.jp-MainAreaWidget > .jp-Toolbar-micro {
   display: none;
 }

Original file line number	Diff line number	Diff line change
`@@ -122,12 +122,6 @@ body[data-notebook='notebooks']`
`122`	`122`	`}`
`123`	`123`	`}`
`124`	`124`
`125`		`-/* Hide the stub toolbar that appears above notebooks */`
`126`		`-`
`127`		`-jp-MainAreaWidget > .jp-Toolbar-micro {`
`128`		`- display: none;`
`129`		`-}`
`130`		`-`
`131`	`125`	`/* Mobile View */`
`132`	`126`
`133`	`127`	`body[data-format='mobile'] .jp-NotebookCheckpoint {`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`/* Hide the stub toolbar that appears above terminals */`
`2`	`2`
`3`		`-jp-MainAreaWidget > .jp-Toolbar-micro {`
	`3`	`+.jp-MainAreaWidget > .jp-Toolbar-micro {`
`4`	`4`	`display: none;`
`5`	`5`	`}`