]> git.r.bdr.sh - rbdr/dotfiles/blame - config/kitty/kitty.conf
Remove snippets warning in coq
[rbdr/dotfiles] / config / kitty / kitty.conf
CommitLineData
4b32a942 1# Font
77a47f46
RBR
2font_family Input Mono Light
3bold_font Input Mono Medium
4italic_font Input Mono Light Italic
5bold_italic_font Input Mono Medium Italic
8010d7b5 6font_size 14.0
4350cafb 7macos_thicken_font 0.75
4b32a942
RBR
8
9# Cursor
10cursor #eeeeee
11cursor_text_color #3e3937
12cursor_shape block
13
14
15# Color Scheme
c2715eb5
RBR
16foreground #ffffff
17background #000000
4b32a942
RBR
18selection_foreground #000000
19selection_background #c1ddff
4350cafb
RBR
20active_border_color #55ff55
21inactive_border_color #c1ddff
22
c2715eb5
RBR
23active_tab_foreground #000000
24active_tab_background #00FFFF
25inactive_tab_foreground #00FFFF
26inactive_tab_background #000000
27
28
29background_opacity 1.0
4b32a942
RBR
30
31# Regular Colors
32# black
33color0 #888888
34# red
c2715eb5 35color1 #ff0000
4b32a942 36# green
c2715eb5 37color2 #00ff00
4b32a942 38# yellow
c2715eb5 39color3 #ffff00
4b32a942 40# blue
c2715eb5 41color4 #0000ff
4b32a942 42# magenta
c2715eb5 43color5 #ff00ff
4b32a942 44# cyan
c2715eb5 45color6 #00ffff
4b32a942
RBR
46# white
47color7 #c7c7c7
48
49# black
50color8 #aaaaaa
51# red
52color9 #ff5555
53# green
c2715eb5 54color10 #55ff55
4b32a942
RBR
55# yellow
56color11 #ffff55
57# blue
c2715eb5 58color12 #5555ff
4b32a942 59# magenta
c2715eb5 60color13 #ff55ff
4b32a942 61# cyan
c2715eb5 62color14 #55ffff
4b32a942 63# white
c2715eb5 64color15 #ffffff
4b32a942
RBR
65
66# window
44d3b999 67hide_window_decorations no
4b32a942 68tab_bar_style separator
41643559
RBR
69
70# keyboard
71macos_option_as_alt left