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

…