From 539da94e1d8bf1621d0b05ba4ab38039d14a6ff9 Mon Sep 17 00:00:00 2001
From: Jason Weill <jweill@amazon.com>
Date: Wed, 22 Mar 2023 17:07:49 -0700
Subject: [PATCH 1/4] Hides 'micro' toolbars in notebook

---
 packages/terminal-extension/style/base.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/packages/terminal-extension/style/base.css b/packages/terminal-extension/style/base.css
index e69de29bb2..42e484f1dc 100644
--- a/packages/terminal-extension/style/base.css
+++ b/packages/terminal-extension/style/base.css
@@ -0,0 +1,5 @@
+/* Hide the stub toolbar that appears above terminals */
+
+.jp-Toolbar-micro {
+  display: none;
+}

From b9ddb06418b8cf9f9bf9051610c9d2b9bf7760c7 Mon Sep 17 00:00:00 2001
From: Jason Weill <jweill@amazon.com>
Date: Fri, 24 Mar 2023 11:18:29 -0700
Subject: [PATCH 2/4] Incremental change for more specific selector

---
 packages/notebook-extension/style/base.css | 6 ++++++
 packages/terminal-extension/style/base.css | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/packages/notebook-extension/style/base.css b/packages/notebook-extension/style/base.css
index bd9179c242..da764e341e 100644
--- a/packages/notebook-extension/style/base.css
+++ b/packages/notebook-extension/style/base.css
@@ -122,6 +122,12 @@ 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
index 42e484f1dc..e75864385c 100644
--- 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-Toolbar-micro {
+jp-MainAreaWidget > .jp-Toolbar-micro {
   display: none;
 }

From c9692cf8c4739d58e928c5124e2677ce11d07f86 Mon Sep 17 00:00:00 2001
From: Jason Weill <jweill@amazon.com>
Date: Fri, 24 Mar 2023 11:26:31 -0700
Subject: [PATCH 3/4] Fix rule, remove redundant rule

---
 packages/notebook-extension/style/base.css | 6 ------
 packages/terminal-extension/style/base.css | 2 +-
 2 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/packages/notebook-extension/style/base.css b/packages/notebook-extension/style/base.css
index da764e341e..bd9179c242 100644
--- 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
index e75864385c..2843c0c83c 100644
--- 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;
 }

From 397b834a6029b71e40849f48eb60a89f38d1121a Mon Sep 17 00:00:00 2001
From: Jason Weill <jweill@amazon.com>
Date: Fri, 24 Mar 2023 11:28:18 -0700
Subject: [PATCH 4/4] Moves rule to application extension

---
 packages/application-extension/style/base.css | 6 ++++++
 packages/terminal-extension/style/base.css    | 5 -----
 2 files changed, 6 insertions(+), 5 deletions(-)

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;
+}
diff --git a/packages/terminal-extension/style/base.css b/packages/terminal-extension/style/base.css
index 2843c0c83c..e69de29bb2 100644
--- a/packages/terminal-extension/style/base.css
+++ b/packages/terminal-extension/style/base.css
@@ -1,5 +0,0 @@
-/* Hide the stub toolbar that appears above terminals */
-
-.jp-MainAreaWidget > .jp-Toolbar-micro {
-  display: none;
-}