https://wwtyrd.com/tech/sook/increase-or-decrease-the-font-size-in-notepad/