[why]
* We want to have the autocreated cheat-sheet file here 100% and not
only approximate, so create the file anew via generate-css.sh and
commit it here.
* "No results found" is kind of a lie, we have a result and the result
is that there are no hits while searching :-> Call me pedantic.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
[why]
Often it is easier to find what one wants if the search result is
sorted.
[how]
Do a full result sort.
* Sort by id (class name)
* Put removed icons last
We do not need the boost function anymore, so that pre-sorting is
removed.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
[why]
Sometimes one does not know what the exact search term is.
For example if you want to find a 'homefolder' but the name is
'homedirectory' it is impossible to find.
[how]
Allow prefix search, in this case at least 'home' will find both
variants.
I do believe a full substring search would be even better, but that is
not supported by minisearch.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
