Make jupyter logo select properly (#6927) (#6938)

Cheukting · web-flow · commit 3de5507427bc · 2023-06-21T08:39:54.000+02:00
* Make jupyter logo select properly (#6927) * auto formation
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;
+}

Original file line number	Diff line number	Diff line change
`@@ -33,3 +33,8 @@`
`33`	`33`	`.jp-MainAreaWidget > .jp-Toolbar-micro {`
`34`	`34`	`display: none;`
`35`	`35`	`}`
	`36`	`+`
	`37`	`+#jp-NotebookLogo {`
	`38`	`+ /* bring logo to the front so it is selectable by tab*/`
	`39`	`+ z-index: 10;`
	`40`	`+}`