From 79dfb3a97954c4ef5f0c464feb8a44dc5f91bdef Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Sun, 9 May 2021 01:15:18 +0200
Subject: [PATCH] home: gtk: do not set font size

Turns out that I do not like how it interferes with Firefox's
rendering... I should probably investigate this in the future if I want
to use this option.
---
 home/gtk.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/home/gtk.nix b/home/gtk.nix
index 71bf264..77ca477 100644
--- a/home/gtk.nix
+++ b/home/gtk.nix
@@ -13,7 +13,6 @@ in
     font = {
       package = pkgs.dejavu_fonts;
       name = "DejaVu Sans";
-      size = 8;
     };
 
     gtk2 = {