From 4e3829ea44c50a28aadfced7a167649ec3754f65 Mon Sep 17 00:00:00 2001
From: maralorn <mail@maralorn.de>
Date: Thu, 23 Feb 2023 16:07:16 +0100
Subject: [PATCH] Give up Pixelfonts outside the Terminal

---
 home-manager/roles/gnome.nix    | 8 ++++----
 home-manager/roles/terminal.nix | 2 +-
 nixos/roles/fonts.nix           | 6 +-----
 overlays/element-web/user.css   | 2 ++
 4 files changed, 8 insertions(+), 10 deletions(-)

diff --git a/home-manager/roles/gnome.nix b/home-manager/roles/gnome.nix
index c58f242d..93c5e95a 100644
--- a/home-manager/roles/gnome.nix
+++ b/home-manager/roles/gnome.nix
@@ -30,7 +30,7 @@
     });
   };
   inherit (lib.hm.gvariant) mkTuple mkUint32;
-  font = "Monospace 9";
+  font = "B612 8";
 in {
   home.packages = extensions;
   services.gpg-agent.pinentryFlavor = "gnome3";
@@ -79,7 +79,7 @@ in {
     "org/gnome/desktop/interface" = {
       document-font-name = font;
       font-name = font;
-      monospace-font-name = font;
+      monospace-font-name = "Monospace 9";
       font-antialiasing = "grayscale";
       font-hinting = "full";
       clock-show-weekday = true;
@@ -177,8 +177,8 @@ in {
       status-icon-padding = 4;
       trans-use-custom-opacity = true;
       trans-panel-opacity = 0.8;
-      leftbox-size = 12;
-      tray-size = 12;
+      leftbox-size = 13;
+      tray-size = 13;
     };
     "org/gnome/desktop/input-sources" = {
       sources = [(mkTuple ["xkb" "de+neo"])]; # use neo
diff --git a/home-manager/roles/terminal.nix b/home-manager/roles/terminal.nix
index 5fd3b32a..dc4e66ac 100644
--- a/home-manager/roles/terminal.nix
+++ b/home-manager/roles/terminal.nix
@@ -12,7 +12,7 @@
   programs.foot = {
     settings = {
       main = {
-        font = "Spleen:pixelsize=12";
+        font = "Cozette:pixelsize=13";
         include = "${pkgs.foot.themes}/share/foot/themes/catppuccin";
       };
       csd = {
diff --git a/nixos/roles/fonts.nix b/nixos/roles/fonts.nix
index d94eb47c..92e1d865 100644
--- a/nixos/roles/fonts.nix
+++ b/nixos/roles/fonts.nix
@@ -11,7 +11,7 @@
       defaultFonts = let
         unicode-fallback = ["Noto Sans Symbols" "Noto Sans Symbols2"];
       in {
-        monospace = ["Spleen 6x12" "Noto Sans Mono"] ++ unicode-fallback;
+        monospace = ["Cozette" "Noto Sans Mono"] ++ unicode-fallback;
         sansSerif = ["B612" "Noto Sans"] ++ unicode-fallback;
         serif = ["Libertinus Serif" "Noto Serif"] ++ unicode-fallback;
       };
@@ -47,14 +47,10 @@
         scientifica
         # Quite cool on: 11px
         
-        # Tried but didn‘t like:
-        
         # biwidth: too small
         
         # Too wide tracking: creep
         
-        #
-        
         # For all my terminal needs.
         
         b612
diff --git a/overlays/element-web/user.css b/overlays/element-web/user.css
index 3305a5de..0778953e 100644
--- a/overlays/element-web/user.css
+++ b/overlays/element-web/user.css
@@ -2,11 +2,13 @@
    display: none !important;
 }
 
+/*
 span, div {
    font-size: 12px !important;
    font-family: "Spleen 6x12", Twemoji !important;
    -webkit-font-smoothing: none !important;
 }
+*/
 
 .mx_RoomSublist[aria-label="Rooms"] .mx_RoomTile {
    display: none !important;