doc: fix layout of HTML docs when they are printed

Some long lines in docs were causing a zoom, and then the text font was
smaller than it should be. Some styles have been fixed to remove the zoom
and keep the original ratio.