From 6d60e967dc0b301fd0e1958e507921218fac5a84 Mon Sep 17 00:00:00 2001
From: maralorn <mail@maralorn.de>
Date: Fri, 24 Feb 2023 17:35:55 +0100
Subject: [PATCH] Cozette config

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

diff --git a/home-manager/roles/gnome.nix b/home-manager/roles/gnome.nix
index 0bd64daa..66d93b09 100644
--- a/home-manager/roles/gnome.nix
+++ b/home-manager/roles/gnome.nix
@@ -31,7 +31,7 @@
     });
   };
   inherit (lib.hm.gvariant) mkTuple mkUint32;
-  font = "B612 8";
+  font = "Monospace 9";
 in {
   home.packages = extensions;
   services.gpg-agent.pinentryFlavor = "gnome3";
@@ -80,7 +80,7 @@ in {
     "org/gnome/desktop/interface" = {
       document-font-name = font;
       font-name = font;
-      monospace-font-name = "Monospace 9";
+      monospace-font-name = font;
       font-antialiasing = "grayscale";
       font-hinting = "full";
       clock-show-weekday = true;
diff --git a/home-manager/roles/terminal.nix b/home-manager/roles/terminal.nix
index 4c5806ce..b15ad6d3 100644
--- a/home-manager/roles/terminal.nix
+++ b/home-manager/roles/terminal.nix
@@ -12,7 +12,7 @@
   programs.foot = {
     settings = {
       main = {
-        font = "Cozette:pixelsize=13";
+        font = "CozetteVector:pixelsize=12";
         include = toString (pkgs.writeText "foot-theme" ''
           ${builtins.readFile "${pkgs.foot.themes}/share/foot/themes/catppuccin"}
           background=000000
diff --git a/nixos/roles/fonts.nix b/nixos/roles/fonts.nix
index 92e1d865..a4167422 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 = ["Cozette" "Noto Sans Mono"] ++ unicode-fallback;
+        monospace = ["CozetteVector" "Noto Sans Mono"] ++ unicode-fallback;
         sansSerif = ["B612" "Noto Sans"] ++ unicode-fallback;
         serif = ["Libertinus Serif" "Noto Serif"] ++ unicode-fallback;
       };
diff --git a/overlays/element-web/user.css b/overlays/element-web/user.css
index 0778953e..30b75bc7 100644
--- a/overlays/element-web/user.css
+++ b/overlays/element-web/user.css
@@ -2,13 +2,13 @@
    display: none !important;
 }
 
-/*
+
 span, div {
    font-size: 12px !important;
-   font-family: "Spleen 6x12", Twemoji !important;
+   font-family: CozetteVector, Twemoji !important;
    -webkit-font-smoothing: none !important;
 }
-*/
+
 
 .mx_RoomSublist[aria-label="Rooms"] .mx_RoomTile {
    display: none !important;