Ok, the font size should be back to the same as it used to be.

If you've moved the size up or down, you can use Ctrl+0 (Ctrl+Zero) to return to the default size again.

- Michael