adjust GUI on the Help browser

This again removes some Metal-based preferred sizes to avoid squashing
things on native UI's like GTK+. The default width was widened slightly
to accomodate the naturally selected default sizes.

It also replaces the "Back" and "Forward" labels with arrows, to
provide better balance and use of space. They have tooltips.