Menu bar: Fixed gap to right of current link (fixes #4220)
Merge pull request #4222 from pjackson28/fixmenu

Menu bar: Fixed gap to right of current link (fixes #4220)
Limit the number of concurrent HTML compression processes
Menu bar: Corrected menu bar link underlining defaults
Merge pull request #4224 from pjackson28/menunounderlinedefault

Menu bar: Corrected menu bar link underlining defaults
Merge pull request #4223 from LaurentGoderre/fix-htmlcompression

Limit the number of concurrent HTML compression processes