From 207d77e7c307276beb7b871f748982217bcb2431 Mon Sep 17 00:00:00 2001 From: Cheukting Date: Tue, 20 Jun 2023 16:23:00 +0100 Subject: [PATCH 1/2] Make jupyter logo select properly (#6927) --- packages/application-extension/src/index.ts | 1 + packages/application-extension/style/base.css | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts index c867d81197..2497dc59f1 100644 --- a/packages/application-extension/src/index.ts +++ b/packages/application-extension/src/index.ts @@ -171,6 +171,7 @@ const logo: JupyterFrontEndPlugin = { 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 index 25dabf301b..4e9274caf6 100644 --- 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 ; +} From 0ee22302e8a25c482b2ee0a4760126d887d40cac Mon Sep 17 00:00:00 2001 From: Cheukting Date: Tue, 20 Jun 2023 21:09:22 +0100 Subject: [PATCH 2/2] auto formation --- packages/application-extension/style/base.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/application-extension/style/base.css b/packages/application-extension/style/base.css index 4e9274caf6..659b9a7861 100644 --- a/packages/application-extension/style/base.css +++ b/packages/application-extension/style/base.css @@ -36,5 +36,5 @@ #jp-NotebookLogo { /* bring logo to the front so it is selectable by tab*/ - z-index: 10 ; + z-index: 10; }