From b7b822a9db485254977c4899c54a5ab0459f56ba Mon Sep 17 00:00:00 2001
From: Jason Weill <93281816+JasonWeill@users.noreply.github.com>
Date: Tue, 28 Mar 2023 01:51:59 -0700
Subject: [PATCH] Hides 'micro' toolbars in notebook (#6791)

* Hides 'micro' toolbars in notebook

* Incremental change for more specific selector

* Fix rule, remove redundant rule

* Moves rule to application extension
---
 packages/application-extension/style/base.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/packages/application-extension/style/base.css b/packages/application-extension/style/base.css
index e50ab1ab89..25dabf301b 100644
--- a/packages/application-extension/style/base.css
+++ b/packages/application-extension/style/base.css
@@ -27,3 +27,9 @@
 .jp-MimeDocument .jp-RenderedJSON {
   background: var(--jp-layout-color0);
 }
+
+/* Hide the stub toolbar that appears above terminals and documents */
+
+.jp-MainAreaWidget > .jp-Toolbar-micro {
+  display: none;
+}