mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2024-11-27 03:20:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
* Make jupyter logo select properly (#6927)

* auto formation
This commit is contained in:
Cheuk Ting Ho 2023-06-21 07:39:54 +01:00 committed by GitHub
parent b3732b7401
commit 3de5507427
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
packages/application-extension/src/index.ts
View File

@ -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 });

5
packages/application-extension/style/base.css
View File

@ -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;
}