From 55d41eebeea11b0c3df0b658af4cebd9f033fe56 Mon Sep 17 00:00:00 2001 From: Sergey Lemeshevsky Date: Wed, 19 Feb 2020 17:04:18 +0300 Subject: [PATCH] =?UTF-8?q?=D0=98=D1=81=D0=BF=D1=80=D0=B0=D0=B2=D0=B8?= =?UTF-8?q?=D0=BB=20=D0=BD=D0=B0=D1=81=D1=82=D1=80=D0=BE=D0=B9=D0=BA=D0=B8?= =?UTF-8?q?=20=D1=88=D1=80=D0=B8=D1=84=D1=82=D0=B0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../user-settings/@jupyterlab/apputils-extension | 1 - .../themes.jupyterlab-settings | 16 ++++++++++++++++ 2 files changed, 16 insertions(+), 1 deletion(-) delete mode 120000 .jupyter/lab/user-settings/@jupyterlab/apputils-extension create mode 100644 .jupyter/lab/user-settings/@jupyterlab/apputils-extension/themes.jupyterlab-settings 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