Fabian Homborg 12e059adf8 docs: Hardcode a list of short builtins for unmatched search ...

Unfortunately this has both stopwords and a length limit, and things
like "and" just are tough to search.

So what we do is leave everything as it is, but when a search fails,
we show a list of things that are hard to search for, currently that's
"and", "for", "if" and such.

Fixes #7757.

2021-03-02 14:17:29 +01:00

..

static

docs: Hardcode a list of short builtins for unmatched search

2021-03-02 14:17:29 +01:00

__init__.py

Reformat

2020-11-22 14:39:48 +01:00

globaltoc.html

docs: Fix TOC text and put them in a div

2021-01-27 22:02:35 +01:00

layout.html

docs: Make TOC appear first on narrow screens

2021-01-27 21:53:24 +01:00

localtoc.html

docs: Fix TOC text and put them in a div

2021-01-27 22:02:35 +01:00

theme.conf

docs: Add a brief summary of the changes to the theme

2020-10-04 15:09:20 +02:00