Let’s go Spleen

home-manager/roles/gnome.nix

@@ -30,7 +30,7 @@
     });
   };
   inherit (lib.hm.gvariant) mkTuple mkUint32;
-  font = "Monospace 8.25";
+  font = "Monospace 9";
 in {
   home.packages = extensions;
   services.gpg-agent.pinentryFlavor = "gnome3";
@@ -177,8 +177,8 @@ in {
       status-icon-padding = 4;
       trans-use-custom-opacity = true;
       trans-panel-opacity = 0.8;
-      leftbox-size = 11;
-      tray-size = 11;
+      leftbox-size = 12;
+      tray-size = 12;
     };
     "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 = "scientifica:pixelsize=11";
+        font = "Spleen:pixelsize=12";
         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 = ["scientifica" "curie" "Noto Sans Mono"] ++ unicode-fallback;
+        monospace = ["Spleen 6x12" "Noto Sans Mono"] ++ unicode-fallback;
         sansSerif = ["B612" "Noto Sans"] ++ unicode-fallback;
         serif = ["Libertinus Serif" "Noto Serif"] ++ unicode-fallback;
       };
@@ -31,9 +31,29 @@
         cozette
         # 13px
         
-        curie
+        # too wide: dina-font
+        
+        # can‘t find font in there: efont-unicode
+        
+        # too wide: envypn-font
+        
+        spleen
+        # Great if you need 8 px font, also nice on 12px.
+        
+        gohufont
+        tewi-font
+        # Too wide tracking: curie
+        
         scientifica
-        # 11px
+        # Quite cool on: 11px
+        
+        # Tried but didn‘t like:
+        
+        # biwidth: too small
+        
+        # Too wide tracking: creep
+        
+        #
         
         # For all my terminal needs.
         

overlays/element-web/user.css

@@ -3,7 +3,8 @@
 }
 
 span, div {
-   font-size: 11px !important;
+   font-size: 12px !important;
+   font-family: "Spleen 6x12", Twemoji !important;
    -webkit-font-smoothing: none !important;
 }