From eae5c634d96383a2b87473542b46abb4a06bda32 Mon Sep 17 00:00:00 2001
From: Oliver Hartmann <oliver.hartmann@freiewildbahn.de>
Date: Sun, 15 Oct 2023 13:46:36 +0200
Subject: [PATCH] change font size to 10

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

diff --git a/lua/config/options.lua b/lua/config/options.lua
index f0b4bc5..770fb4a 100644
--- a/lua/config/options.lua
+++ b/lua/config/options.lua
@@ -54,7 +54,7 @@ else
   -- opt.guifont = 'Hack Nerd Font:h10'
   -- opt.guifont = 'JetBrainsMono Nerd Font:h10'
   -- opt.guifont = 'FiraCode Nerd Font:h10'
-  opt.guifont = 'RobotoMono Nerd Font:h11'
+  opt.guifont = 'RobotoMono Nerd Font:h10'
   -- opt.guifont = 'Cousine Nerd Font Mono:h10'
   -- opt.guifont = 'DroidSansM Nerd Font Propo:h10'
   -- opt.guifont = 'AnonymicePro Nerd Font:h11'