../ footer.htmlindex.html: fix footer margin on one <li>7 years ago navigation-docs.htmlAdd glossary to documentation, navigation, and site search (#317)7 years ago navigation-search.htmlsearch icon size and spacing, searchbar close size7 years ago pagination-docs.htmladd lh-copy to docs pagination at bottom7 years ago pagination.htmlflat pagination has v-top arrows7 years ago search-overlay.htmlsearch: revise keyboard shortcuts7 years ago