So I think that there should be a way to make the different fonts larger, I really think that there should be like a slider that moves a variable that scales the font size and the genneral size of the tabs on the top (and other things aswell, if you find anything to implement it to).
Hi @hette006. There is an issue logged for this feature to be made available. You can track it here
sriram closed #3