From ce180b1ba53aa1d90b79475c5855070bede42255 Mon Sep 17 00:00:00 2001
From: qaristote <quentin.aristote@ens.fr>
Date: Mon, 27 Mar 2023 13:42:22 +0200
Subject: home: spacemacs: change font size

---
 home/spacemacs.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'home/spacemacs.el')

diff --git a/home/spacemacs.el b/home/spacemacs.el
index 254e3f3..e00ddc0 100644
--- a/home/spacemacs.el
+++ b/home/spacemacs.el
@@ -273,7 +273,7 @@ It should only modify the values of Spacemacs settings."
    ;; a non-negative integer (pixel size), or a floating-point (point size).
    ;; Point size is recommended, because it's device independent. (default 10.0)
    dotspacemacs-default-font '("DejaVu Sans Mono"
-                               :size 10.0
+                               :size 12.0
                                :weight normal
                                :width normal)
 
-- 
cgit v1.2.3