Use buttons instead of a elements
Stop using the mdn Sphinx theme as long as it's broken.
Merge pull request #2240 from jezdez/fix-docs-theme

Stop using the mdn Sphinx theme as long as it's broken.
Cleaned up implementation of search filters. Fix #2151.
Merge pull request #2226 from darkwing/switch-to-buttons

Use BUTTONs instead of javascript:;
Merge pull request #2215 from jezdez/search-parameter-names

Cleaned up search implementation of filters.
Ensure button colors the same as links in zone header
Merge pull request #2242 from darkwing/zone-button-color

Ensure button colors the same as links in zone header