Elisabeth Dickinson 9204658456 [FIX] theme: always hide in-page toctrees ... Toctree pages will soon hold content and thus be reachable. The TOC should never be displayed on those pages.		2021-05-11 10:28:13 +02:00
..
fonts	[REF][MOV] documentation apocalypse	2021-05-04 15:44:00 +02:00
img	[REF][MOV] documentation apocalypse	2021-05-04 15:44:00 +02:00
js	[REF][MOV] documentation apocalypse	2021-05-04 15:44:00 +02:00
scss	[REF][MOV] documentation apocalypse	2021-05-04 15:44:00 +02:00
style.scss	[FIX] theme: always hide in-page toctrees	2021-05-11 10:28:13 +02:00