Cosmetic improvements to print.css.