Of course you can also copy and paste it to Textedit.app (with Richtext format) and print it from there. There is even a service menu entry Textedit → New Window Containing Selection which works for me. If I had thought of this earlier… :) Stan.