diff --git a/.jupyter/lab/user-settings/@jupyterlab/apputils-extension b/.jupyter/lab/user-settings/@jupyterlab/apputils-extension deleted file mode 120000 index 534034a..0000000 --- a/.jupyter/lab/user-settings/@jupyterlab/apputils-extension +++ /dev/null @@ -1 +0,0 @@ -/home/svl/.jupyter/lab/user-settings/@jupyterlab/apputils-extension \ No newline at end of file diff --git a/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings b/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings new file mode 100644 index 0000000..093c172 --- /dev/null +++ b/.jupyter/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings @@ -0,0 +1,16 @@ +{ + // Theme + // @jupyterlab/apputils-extension:themes + // Theme manager settings. + // ************************************* + + // Theme CSS Overrides + // Override theme CSS variables by setting key-value pairs here + "overrides": { + "content-font-size1": "20px" + }, + + // Selected Theme + // Application-level visual styling theme + "theme": "JupyterLab Light" +} \ No newline at end of file