diff --git a/gunther/README.md b/gunther/README.md
new file mode 100644
index 0000000..733cecf
--- /dev/null
+++ b/gunther/README.md
@@ -0,0 +1,3 @@
+# Gunther
+My home setup. 
+![neofetch screenshot](specs.png)
diff --git a/gunther/leonv.nix b/gunther/leonv.nix
index 8d3930b..e87b415 100755
--- a/gunther/leonv.nix
+++ b/gunther/leonv.nix
@@ -13,6 +13,13 @@
   home.packages = with pkgs; [ 
     # theme for gtk applications
     orchis-theme
+    (catppuccin-gtk.override {
+            accents = [ "flamingo" ];
+            size = "compact";
+            tweaks = [ "rimless" "black" ];
+            variant = "macchiato";
+          })
+
     nextcloud-client
     ausweisapp
 
@@ -20,7 +27,6 @@
     z3
 
     # stuff
-    tidal-hifi
     jq
     vlc
     openvpn
@@ -44,12 +50,8 @@
     # development
     jetbrains.idea-ultimate
     gnumake
-    # texliveFull
-    # texlive.combined.scheme-full
-    # ltex-ls
     ghostscript
     jdk11
-    coq
     gcc
     haskell.compiler.ghc981
     cabal-install
@@ -78,27 +80,24 @@
     inputs.hyprland-contrib.packages.${pkgs.system}.grimblast
     bluez
     htop
-    archiver
     gnome.file-roller
-    discord
     zip
-    # emacs
-    shellcheck
 
     # yubikey
     yubico-pam
     yubikey-manager
 
-    # agda
+    # proof assistants
     (agda.withPackages [ 
       agdaPackages.standard-library
       agdaPackages.agda-categories
     ])
-
+    coq
     lean4
 
     # for emacs
     texlab
+    shellcheck
   ];
 
   xdg.configHome = /home/leonv/.config;
@@ -146,6 +145,9 @@
     font = {
       name = "NotoSans Nerd Font";
     };
+    gtk3 = {
+      extraConfig.gtk-application-prefer-dark-theme = true;
+    };
   };
   home.sessionVariables.GTK_THEME = "Catppuccin-Macchiato-Compact-Flamingo-Dark";
   home.sessionPath = [ "$HOME/.config/emacs/bin" ];
@@ -154,5 +156,14 @@
     enable = true;
   };
 
+
+  dconf.settings = {
+    # GTK4 Setup
+    "org/gnome/desktop/interface" = {
+      gtk-theme = "Catppuccin-Macchiato-Compact-Flamingo-Dark";
+      color-scheme = "prefer-dark";
+    };
+  };
+
   services.mpris-proxy.enable = true;
 }
diff --git a/gunther/specs.png b/gunther/specs.png
new file mode 100644
index 0000000..eaf1f50
Binary files /dev/null and b/gunther/specs.png differ