Antonin Godard 5bb9bdaf2c Documentation: html: adjust sidebar section titles styling ... Now that section titles are displayed in the sidebar, make them bold to have them stand out compared to the subsection titles, and decrease their bottom margin to group them with their subsections. Signed-off-by: Antonin Godard <antonin.godard@bootlin.com> Tested-by: Randy Dunlap <rdunlap@infradead.org> [jc: tweaked the sidebar CSS slightly] Signed-off-by: Jonathan Corbet <corbet@lwn.net> Message-ID: <20260804-show-sections-in-sidebar-v2-2-a68d23bbc79d@bootlin.com>		2026-08-05 13:37:41 -06:00
..
custom.css	Documentation: html: adjust sidebar section titles styling	2026-08-05 13:37:41 -06:00
theme_overrides.css	docs: remove .toc-title class	2023-11-17 13:05:26 -07:00
theme_rtd_colors.css	docs: add support for RTD dark mode	2021-12-10 14:05:55 -07:00