Removing old handling of micro toolbar using a before selector.

packages/console/style/base.css

@@ -12,16 +12,6 @@
   min-height: 120px;
 }
 
-.jp-ConsolePanel::before {
-  content: '';
-  display: block;
-  height: var(--jp-toolbar-micro-height);
-  background: var(--jp-toolbar-background);
-  border-bottom: 1px solid var(--jp-toolbar-border-color);
-  box-shadow: var(--jp-toolbar-box-shadow);
-  z-index: 1;
-}
-
 .jp-CodeConsole {
   height: 100%;
   padding: 0;