Fixed archive style for theme
Updated the GitHub token (post HeartBleed)
Merge pull request #679 from LaurentGoderre/update-gh-token

Updated the GitHub token (post HeartBleed)
Merge pull request #677 from lucas-hay/acrhive-css

Fixed archive style for theme
Removes the double building of AJAX menus
Fixes the build
Added missing jQuery version variable for experimental examples
Merge pull request #682 from LaurentGoderre/master

Removes the double building of AJAX menus
Menu: Enabled underlining when a menubar item is a link (related to wet-boew/wet-boew#4914)
Merge pull request #683 from pjackson28/enableunderliiningwhenmenuitemalink

Menu: Enabled underlining when a menubar item is a link (related to wet-boew/wet-boew#4914)
Fixed the generation of the AJAX menus
Fixes #684
Fixed the title for page with encoded characters
Fix #685
Merge pull request #686 from LaurentGoderre/master

Fix the menu generation and title of some pages
Fixed rest of titles with encoded characters
Fixes #685
Merge pull request #687 from LaurentGoderre/master

Fixed rest of titles with encoded characters
Enabled secondary menu to work without the a element on the top header
Merge pull request #676 from pjackson28/enabledsecmenuheadwouta

Enabled secondary menu to work without the a element on the top header
Pages: Fixed various broken links/references.
Feedback form: Fixed CSS and JS references (fixes #688)
Merge pull request #689 from pjackson28/fixfeedbackformcssjs

Feedback form: Fixed CSS and JS references (fixes #688)
Merge pull request #690 from EricDunsworth/v4.0-broken-link-fixes

Pages: Fixed various broken links/references.