Changing the terminal font size

Gnome terminal
--------------
Edit->Profiles->Default-> Edit

uncheck use the system terminal font and set the required font size and type