diff --git a/.jupyter/lab/user-settings/@jupyterlab/notebook-extension/tracker.jupyterlab-settings b/.jupyter/lab/user-settings/@jupyterlab/notebook-extension/tracker.jupyterlab-settings new file mode 100644 index 0000000..cc64aa1 --- /dev/null +++ b/.jupyter/lab/user-settings/@jupyterlab/notebook-extension/tracker.jupyterlab-settings @@ -0,0 +1,12 @@ +{ + "codeCellConfig": { + "lineHeight": 1.5, + "lineNumbers": true, + }, + + "kernelShutdown": true, + + "markdownCellConfig": { + "lineHeight": 1.5, + } +} diff --git a/.jupyter/lab/user-settings/@jupyterlab/terminal-extension/plugin.jupyterlab-settings b/.jupyter/lab/user-settings/@jupyterlab/terminal-extension/plugin.jupyterlab-settings new file mode 100644 index 0000000..fd562a2 --- /dev/null +++ b/.jupyter/lab/user-settings/@jupyterlab/terminal-extension/plugin.jupyterlab-settings @@ -0,0 +1,5 @@ +{ + "fontFamily": "DejaVu Sans Mono", + "fontSize": 20, + "lineHeight": 1.1, +}