Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Change Scheme
-
File -> Settings... -> Editor -> Colors & Fonts
-
Choose a scheme right to "Scheme name"
Change Font of Terminal
-
Search for Console Font
-
Set the desired font size.
-
Restart terminal (the font …