Slightly improve printing in Firefox.