From c092c47184590650e27c608b273322f08b369b1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C3=ABl=20Hauspie?= <michael.hauspie@univ-lille.fr>
Date: Thu, 26 Oct 2023 14:45:11 +0200
Subject: [PATCH] Change default fira code font size

---
 configuration.org | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configuration.org b/configuration.org
index 79ae5cc..6adae2d 100644
--- a/configuration.org
+++ b/configuration.org
@@ -306,8 +306,8 @@ Use Fira Code with ligature
   (global-fira-code-mode)
   (setq fira-code-mode-enable-hex-literal nil)
   )
-  (add-to-list 'default-frame-alist '(font . "Fira Code-10" ))
-  (set-face-attribute 'default t :font "Fira Code-10" )
+  (add-to-list 'default-frame-alist '(font . "Fira Code-12" ))
+  (set-face-attribute 'default t :font "Fira Code-12" )
 #+end_src
 
 #+RESULTS:
-- 
GitLab