chore(dotfiles): reduce font size in Kitty
chore(dotfiles): reduce font size in Kitty

Kitty font size suddenly seems way too large; not sure what the cause
is. I set it from 13 to 16 in 7e661fc3531880f9fa87f56 with the message,
"make fonts look nice on 4K display in kitty". But upon rebooting today,
16 looks absolutely enormous. Bumping down to 12, and to be honest, even
that looks quite large to me now.

wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent,wincent/wincent