search

mapbox / mapbox.js

Mapbox JavaScript API, a Leaflet Plugin
mapbox.com/mapbox.js/
Other
1.91k stars 386 forks source link

[info arch] Update default layout #1341

Closed katydecorah closed 3 years ago

katydecorah commented 3 years ago

This PR updates the default layout to include changes to the main navigation links and add search to the top navigation.

Ref https://github.com/mapbox/docs-page-shell/pull/88

katydecorah commented 3 years ago

@danswick want to make sure you saw this one, too

katydecorah commented 3 years ago

@danswick I'm going to merge this one in advance since the changes are only to the docs-page-shell