Procedure...
- Go to tools
- And then click on Editor options... Present in drop down list of tools
- then you will see the menu
- And then click on font......which are present next to the general in new menu(reditor option menu)
- And then change size of font.........