Give up Pixelfonts outside the Terminal

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

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 = {

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

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;