Convert javascript print-tag to html

[Sherm Pendley]

A quick fix might be to hide the stylesheet switcher from all versions
of IE using some filters.

Good idea - done.

Actually though, it's implemented the other way around. The div with the
switcher is empty when the page loads, and its innerHTML is replaced if
the browser isn't IE. Users who have disabled JS, or are using a non-JS
browser, won't see the switcher either - a good thing, since it requires
JS to function.

sherm--