Updated lunr.js, added search navigation and preview/highlighting

This commit is contained in:
Silvio Giebl
2019-05-18 23:07:02 +02:00
parent e9f016ac0f
commit e64a6aa239
5 changed files with 219 additions and 69 deletions

File diff suppressed because one or more lines are too long