From 4f5f1032b93ff70eb3b2c4a7bfed692b0e558028 Mon Sep 17 00:00:00 2001
From: Malte Brandy <malte.brandy@maralorn.de>
Date: Thu, 27 Jan 2022 21:15:04 +0100
Subject: [PATCH] Add kitty border

---
 home-manager/roles/kitty.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home-manager/roles/kitty.nix b/home-manager/roles/kitty.nix
index e7700b17..69c19f6b 100644
--- a/home-manager/roles/kitty.nix
+++ b/home-manager/roles/kitty.nix
@@ -20,6 +20,7 @@ in
     settings = {
       linux_display_server = "wayland"; # Causes ugly decorations
       hide_window_decorations = true;
+      window_margin_width = 2;
       strip_trailing_spaces = "always";
 
       font_size = "10.5";