# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1525065087 25200
# Node ID f1f95a19fffeab6353d452aeafe42755de26ce8f
# Parent  3d999fcf62c634c1de488da8a16089c53934f774
Adjust the font size.

diff -r 3d999fcf62c6 -r f1f95a19fffe vim/vimrc
--- a/vim/vimrc	Sat Feb 17 15:04:36 2018 -0800
+++ b/vim/vimrc	Sun Apr 29 22:11:27 2018 -0700
@@ -186,9 +186,9 @@
 " And now, for some system-dependent settings:
 " - font to use
 if ludo#platform() == "windows"
-    set guifont=InputMono:h11,Hack:h12,Consolas:h12
+    set guifont=InputMono:h10,Hack:h12,Consolas:h12
 else
-    set guifont=InputMono:h11,Hack:h12,Monaco:h12
+    set guifont=InputMono:h10,Hack:h12,Monaco:h12
 endif
 
 " Syntax highlighting.