From d4e42d7c653805c0dc7a34ba6266f56325f0a684 Mon Sep 17 00:00:00 2001
From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Wed, 19 Apr 2023 14:08:19 -0400
Subject: [PATCH] Update VSCode settings

---
 home/.config/Code/User/settings.json | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/home/.config/Code/User/settings.json b/home/.config/Code/User/settings.json
index a969e92..cfa54af 100644
--- a/home/.config/Code/User/settings.json
+++ b/home/.config/Code/User/settings.json
@@ -1,9 +1,8 @@
 {
     "FSharp.useSdkScripts": true,
     "editor.fontFamily": "'Iosevka','Iosevka Fixed SS09 Extended', 'Droid Sans Mono', 'monospace', monospace, 'Droid Sans Fallback'",
-    "workbench.colorTheme": "Pale Fire",
+    "workbench.colorTheme": "Nord",
     "vscode-neovim.neovimExecutablePaths.linux": "/usr/local/bin/nvim",
-    "editor.fontSize": 16,
     "workbench.startupEditor": "newUntitledFile",
     "todo-tree.tree.showScanModeButton": false,
     "editor.minimap.enabled": false,
@@ -18,5 +17,8 @@
         "plaintext": true,
         "markdown": false
     },
-    "window.zoomLevel": -1
+    "editor.fontSize": 13,
+    "debug.console.fontSize": 13,
+    "markdown.preview.fontSize": 13,
+    "terminal.integrated.fontSize": 13
 }
\ No newline at end of file
-- 
2.20.1