Make jupyter logo select properly (jupyter#6927)

Cheukting · Jun 20, 2023 · 207d77e · 207d77e
1 parent b3732b7
commit 207d77e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts
@@ -171,6 +171,7 @@ const logo: JupyterFrontEndPlugin<void> = {
       height: '28px',
       width: 'auto',
       cursor: 'pointer',
+      margin: 'auto',
     });
     logo.id = 'jp-NotebookLogo';
     app.shell.add(logo, 'top', { rank: 0 });

diff --git a/packages/application-extension/style/base.css b/packages/application-extension/style/base.css
@@ -33,3 +33,8 @@
 .jp-MainAreaWidget > .jp-Toolbar-micro {
   display: none;
 }
+
+#jp-NotebookLogo {
+  /* bring logo to the front so it is selectable by tab*/
+  z-index: 10 ;
+}