aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fetch documents.js on demand when the user clicks the search text boxGöktürk Yüksek2019-12-191-10/+26
* search.js: escape HTML/XML tags returned in search resultsGöktürk Yüksek2019-12-191-3/+18
* search.js: highlight the search terms in resultsGöktürk Yüksek2019-12-191-1/+24
* Rewrite the search functionality and extend the coverageGöktürk Yüksek2019-12-191-12/+10
* Implement search functionality via lunr.jsLucas Ramage2019-12-191-0/+60