From 5433200f91a952d7a04e5ccf60a81195cb993506 Mon Sep 17 00:00:00 2001
From: Anthony Perkins <anthony@acperkins.com>
Date: Sun, 26 Sep 2021 20:20:09 +0100
Subject: [PATCH] Make the default Linux font smaller

---
 vimrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vimrc b/vimrc
index 9ae5ced..e660e0c 100644
--- a/vimrc
+++ b/vimrc
@@ -170,7 +170,7 @@ endif
 if has("gui_running")
 	if has("gui_gtk")
 		set clipboard=unnamedplus
-		set guifont=Monospace\ 11
+		set guifont=Monospace\ 10
 	elseif has("gui_win32")
 		set clipboard=unnamed
 		set guifont=Consolas:h10:cANSI