Thread:NewBartoszx1/@comment-43594177-20200821075529/@comment-44405128-20200821222847

Is there a way to add a toggle for the font that is used? I don't mind this font, but I find it a bit light and small.