From 95d359292a03c8054f8d69862db32d52626470f0 Mon Sep 17 00:00:00 2001
From: Alex Yatskov <alex@foosoft.net>
Date: Sat, 11 May 2019 09:17:40 -0700
Subject: [PATCH] Update font

---
 .vim/options.vim | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.vim/options.vim b/.vim/options.vim
index 85b44c8..e497b18 100644
--- a/.vim/options.vim
+++ b/.vim/options.vim
@@ -56,9 +56,9 @@ if has('gui_running')
     set guioptions-=r
 
     if has('unix')
-        set guifont=Terminus\ 12
+        set guifont=Source\ Code\ Pro\ Regular\ 10
     else
-        set guifont=Terminus:h12
+        set guifont=Source\ Code\ Pro\ Regular:h10
     endif
 endif