From e9de9f604248e1562d4606e096de4aee3dc10cc5 Mon Sep 17 00:00:00 2001 From: "pre-commit-ci[bot]" <66853113+pre-commit-ci[bot]@users.noreply.github.com> Date: Wed, 9 Aug 2023 07:28:46 +0000 Subject: [PATCH] [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --- docs/howto/user-env/override-lab-settings.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/howto/user-env/override-lab-settings.md b/docs/howto/user-env/override-lab-settings.md index 7bb6dfe..cba3703 100644 --- a/docs/howto/user-env/override-lab-settings.md +++ b/docs/howto/user-env/override-lab-settings.md @@ -63,6 +63,7 @@ setting snippet to add to the `overrides.json` file later. setting of `@jupyterlab/apputils-extension:theme` as can be seen above. 1. Build your `json` snippet. In this case, our snippet should look like this: + ```json { "@jupyterlab/apputils-extension:themes": { @@ -70,6 +71,7 @@ setting snippet to add to the `overrides.json` file later. } } ``` + We only want to change the **Selected Theme**, so we don't need to include the other theme-related settings for CSS and the scrollbar.