Fabian Boehm 9b8793a2df docs: Use grid in the CSS (#10942) ... Instead of hardcoded 230px margin. This also makes the ToC only take up a third of the screen when narrow, and lets you scroll the rest. Without, you'd have to scroll past the *entire* ToC, which is awkward Remaining issue is the search box up top. Since this disables the one in the sidebar once the window gets too narrow, that one is important, and it isn't *great*		2024-12-25 14:50:27 +01:00
..
static	docs: Use grid in the CSS (#10942)	2024-12-25 14:50:27 +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: 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