diff options
| author | Antonin Godard <antonin.godard@bootlin.com> | 2026-08-04 17:59:35 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2026-08-05 13:37:41 -0600 |
| commit | 5bb9bdaf2cba52820b342179a545f7831103ed1d (patch) | |
| tree | 1f75a54b4bb4c480dcf9182c49afaa0cacc4a8eb /tools/lib/python | |
| parent | 29d58caf95e9dc2cc5e751e7ead414e32dce8386 (diff) | |
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>
Diffstat (limited to 'tools/lib/python')
0 files changed, 0 insertions, 0 deletions