Currently when the user modifies the text scale in settings, the size of the markup text doesn't change scale. I propose that a parameter is added to the MarkupText widget that is passed along to the RichText object that is returned. I have done this on a branch. I can push this commit if I'm added as a contributor.