Henrik Lissner f408016c6f Rewrite how Doom scales font-size ...

The previous approach only resized `doom-font`. Now it resizes
`doom-variable-pitch-font` and `doom-serif-font` too, so variable-pitch,
mixed-pitch, and fixed-serif users can enjoy dynamic font scaling.

2021-06-04 02:16:31 -04:00

6.4 KiB

Raw Blame History

View Raw