This change introduces a new top-level stylesheet for the help page.
This will hopefully make it easier to tell where styles affecting the
help page come from, and minimise the number of times that changes to
unrelated CSS will alter the display of the help page.