What about How To Change Font Size Notion?

Question

Accepted Answer

Find relevant information regarding how to change font size notion here.