Mon Jun 3 07:15:28 PM CEST 2024

.config/kitty/current-theme.conf

@@ -1,22 +0,0 @@
-background            #000010
-foreground            #F8F8F2
-cursor                #bbbbbb
-selection_background  #b4d5ff
-color0                #121212
-color8                #545454
-color1                #fa2573
-color9                #f5669c
-color2                #97e123
-color10               #b0e05e
-color3                #dfd460
-color11               #fef26c
-color4                #0f7fcf
-color12               #00afff
-color5                #8700ff
-color13               #af87ff
-color6                #42a7cf
-color14               #50cdfe
-color7                #bbbbbb
-color15               #ffffff
-selection_foreground  #121212
-background_opacity 0.3

.config/kitty/kitty.conf

@@ -1,13 +0,0 @@
-# BEGIN_KITTY_THEME
-# Molokai
-include current-theme.conf
-# END_KITTY_THEME
-
-font_family                 Iosevka Extended
-bold_font                   auto
-italic_font                 auto
-bold_italic_font            auto
-font_size                   13
-cursor_shape                block
-cursor_beam_thickness       10
-scrollback_lines            100000

home/kitty/default.nix

@@ -6,7 +6,7 @@
     shellIntegration.enableZshIntegration = true;
     font = {
         name = "Iosevka Extended";
-        size = 13;
+        size = 15;
 
     };
     settings = {
@@ -36,7 +36,7 @@
         color7 = "#bbbbbb";
         color15 = "#ffffff";
         selection_foreground = "#121212";
-        background_opacity = 0.3;
+        background_opacity = "0.3";
     };
   };
 }