Daniel Borchmann 8060b7c862 Increase font size in custom themes ... On full-hd, a height of 107 is too low.		2021-06-27 11:59:53 +02:00
..
db-dark-theme.el	Increase font size in custom themes	2021-06-27 11:59:53 +02:00
db-light-theme.el	Increase font size in custom themes	2021-06-27 11:59:53 +02:00