Merge pull request #1371 from groovecoder/search-topic-filter-870526

fix bug 870526 - add topic filters based on tags.
Display zone landing summary in appropriate spot
Change background structure for zones for easier modification by writers
Modify zone page display on mobiles
Rewrite of the nav menu CSS to make it more variable-height-friendly
Merge pull request #1370 from darkwing/redesign-zone-callout

Display zone landing summary in appropriate spot
Merge pull request #1372 from darkwing/relabel-zone-background-mixin

Change background structure for zones for easier modification by writers
fix bug 916275 - Make current subnav position more apparent.
Remove legacy settings for compat with newer Vagrant
fix bug 916301 - Put quick links toggler at the top of landing pages
fix bug 915670 - Add styling for a[name] in DLs
Merge pull request #1377 from darkwing/upgrade-vagrantfile

Remove legacy settings for compat with newer Vagrant
Make landing page zones h3s
fix bug 916847 - Allow settings menu to overflow zone landing header
fix bug 916300 - Prevent title attributes on links
Merge pull request #1374 from darkwing/redesign-zone-landing-mobile

Modify zone page display on mobiles
Merge pull request #1375 from darkwing/redesign-mobile-menu

Rewrite of the nav menu CSS to make it more variable-height-friendly
Merge pull request #1380 from darkwing/zone-subnav-916275

fix bug 916275 - Make current subnav position more apparent.
Merge pull request #1381 from darkwing/zone-left-916301

fix bug 916301 - Put quick links toggler at the top of landing pages
Merge pull request #1382 from darkwing/redesign-dt-a-style

fix bug 915670 - Add styling for a[name] in DLs