simple print-friendly CSS adaptations

Nothing complex here, just small CSS tweaks that only kick in when the page is printed, making a printout usable