From 74ea9277733f14475ec3b4c7d6fb48fbd4153017 Mon Sep 17 00:00:00 2001
From: Alex Yatskov <alex@foosoft.net>
Date: Sun, 4 Aug 2019 12:58:50 -0700
Subject: [PATCH] update font size

---
 .vim/options.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.vim/options.vim b/.vim/options.vim
index 1c10ec7..5ea3f37 100644
--- a/.vim/options.vim
+++ b/.vim/options.vim
@@ -59,7 +59,7 @@ if has('gui_running')
     set guioptions-=r
 
     if has('unix')
-        set guifont=Source\ Code\ Pro\ Regular\ 12
+        set guifont=Source\ Code\ Pro\ Regular\ 10
     else
         set guifont=Terminus:h12
     endif