search

shaneataylor / ditasearch

DITA-OT plugin to build a search index and search box for HTML5 output.
9 stars 3 forks source link

Scroll results to top on change #1

Closed shaneataylor closed 7 years ago