Actually yes, as it turns out, and it seems that if you have a CSS
stylesheet for printing, it's automatically used when anyone prints the
page, so it would be completely transparent to the user. I suspect this is
the way to go, but it will be extra work for the people who have figured out
how to use CSS (of whom I am not one).