[Javascript] Change default font size in Internet Explorer

[ws at chello.se]

You know how a user can change the text size in Internet Explorer
by choosing one out of four (I think) text sizes in one of the
menus.

How can I write a javascript that will change that size?

I am making a web site and the text should be viewed at a
specific size. The text doesn't look good if the user has
pre-set the font to a large size.

Lars