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 <[email protected]>
Tested-by: Randy Dunlap <[email protected]>
[jc: tweaked the sidebar CSS slightly]
Signed-off-by: Jonathan Corbet <[email protected]>
Message-ID: <[email protected]>

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

…