Fabian Boehm 56a4ae17c9 docs: Make output not selectable ...

We already do this for the prompt

2024-08-03 16:26:34 +02:00

..

static

docs: Make output not selectable

2024-08-03 16:26:34 +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: Remove some jquery leftovers

2023-08-24 21:55:57 +02: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