Fix rule, remove redundant rule

jupyter · Mar 24, 2023 · c9692cf · c9692cf
1 parent b9ddb06
commit c9692cf
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
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;
 }