earnest ma 398f6875fa make font size smaller ... scaling weird		2022-02-02 23:12:12 -05:00
..
alacritty	make font size smaller	2022-02-02 23:12:12 -05:00