add ability to change text size

[HarHarLinks]

(there seems to be a place reserved for tool settings in the top right? but empty as of yet)