CSS tweaks for better printing (and PDF export)