Fabian Homborg 58885fbd0b docs: Handle undefined LINK_SUFFIX ... When building the docs with an old sphinx (like e.g. on Debian), this would break links in the search results. This happens because we've nabbed the searchtools.js from a sphinx to add our special handling of short builtins like "and", "end", "cd" (as part of #7757). I don't believe this will change *a lot* in practice, so it's probably still okay, but this hack is still worthwhile. See #7946		2021-04-25 09:42:02 +02:00
..
static	docs: Handle undefined LINK_SUFFIX	2021-04-25 09:42:02 +02: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: Give logo a specific width	2021-03-02 17:03:32 +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