There's now a good answer on meta.SE to Anton's post. It seems for now the solution is to write a new CSS stylesheet for printing. It shouldn't be too much work -- I'm not going to do it, but if someone stops by my office I'll try to do it with them :-)
First though -- Anton, can you "plug in" a new CSS stylesheet?
]]>