If user is not happy with the font or font size of their terminal output - they will change it. i.e. that is not a GUI made by you. In terminal it will print using the user's settings, e.g. my terminal font and font size are perfectly fine for me. If it was your GUI - then it's fine to set font/size, etc. but please don't mess with my/user's system settings
If you can't explain it to a six year old, you don't understand it yourself, Albert Einstein
How to Ask Questions The Smart Way: link and another link
Create MCV example
Debug small programs
How to Ask Questions The Smart Way: link and another link
Create MCV example
Debug small programs