Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix docs typos, remove style comment #12

Merged
merged 1 commit into from
Dec 23, 2022
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions docs/source/user_guide.ipynb
Original file line number Diff line number Diff line change
Expand Up @@ -599,7 +599,7 @@
"id": "07d7e1ea-124b-4238-80d0-5f6c5598b6f4",
"metadata": {},
"source": [
"In the above example exclusion of `.jp-JSONEditor*` or `.lm-Menu*` styles and appears to improve performance. Given, the scenario (opening menu) the former is just coincidence (was selected in the same block more often) and latter indicates relevant styles."
"In the above example exclusion of `.jp-JSONEditor*` or `.lm-Menu*` styles appears to improve performance. Given, the scenario (opening menu) the former is just coincidence (was selected in the same block more often) and latter indicates relevant styles."
]
},
{
Expand Down Expand Up @@ -685,7 +685,7 @@
"- Benchmarking JavaScript code enables discovery of functions which\n",
" contribute to performance bottlenecks.\n",
"- This feature relies on [JS self-profiling API](https://github.com/WICG/js-self-profiling)\n",
" which as of 2022 is only available on Chromium-based browsers.\n",
" which as of 2022 is only available in Chromium-based browsers.\n",
" - The self-profiling API relies on sampling method to collect stack\n",
" (list of frames) at specified *sampling intervals*."
]
Expand Down
5 changes: 0 additions & 5 deletions style/base.css
Original file line number Diff line number Diff line change
@@ -1,8 +1,3 @@
/*
See the JupyterLab Developer Guide for useful CSS Patterns:

https://jupyterlab.readthedocs.io/en/stable/developer/css.html
*/
.up-UIProfiler {
height: 100%;
overflow: hidden;
Expand Down