Font Size for Resources

[RevMonk]

There's a quick and easy setting you can change to increase the font size in the Resources tab (Grammars, etc.), which will make using some of these texts a lot more pleasant.

1. Open a resource.
2. Choose Options --> Internet Options --> Accessibility
3. Check "Ignore font sizes specified on web pages", then Ok, Ok.
4. You will then be able to enlarge / reduce font size from within the resource by pressing Ctrl + (enlarge) or Ctrl - (reduce).

[MGVH]

There's a quick and easy setting you can change to increase the font size in the Resources tab (Grammars, etc.), which will make using some of these texts a lot more pleasant.

1. Open a resource.
2. Choose Options --> Internet Options --> Accessibility
3. Check "Ignore font sizes specified on web pages", then Ok, Ok.
4. You will then be able to enlarge / reduce font size from within the resource by pressing Ctrl + (enlarge) or Ctrl - (reduce).

True! If you have a wheel mouse, you can also hold CTRL and roll the wheel to change font size.