That would be cool! I'll make an issue for it.
You can currently increase the font size, if that helps.
That would be cool! I'll make an issue for it.
You can currently increase the font size, if that helps.