ah... you can change the IE font size very easily if your mouse has a scroll - just press Ctrl key on the keyboard and roll the scroll - one direction (that would scroll up) decreases the size, the other increases it.
if you do not have a scroll on the mouse, you can change the font size from the menu View -> Text size - and then select the size you want.
Restarting the PC sounds like overkill...