docs: Distinguish documents in sidebar
Some checks are pending
make test / ubuntu (push) Waiting to run
make test / ubuntu-32bit-static-pcre2 (push) Waiting to run
make test / ubuntu-asan (push) Waiting to run
make test / macos (push) Waiting to run
Rust checks / rustfmt (push) Waiting to run
Rust checks / clippy (push) Waiting to run

(cherry picked from commit a579abb81bf883486f8d89181ce99ba291d84893)
This commit is contained in:
Kid 2024-12-28 15:31:49 +08:00 committed by Fabian Boehm
parent ea2c53ca85
commit 701853fdd3

View File

@ -53,7 +53,6 @@ body {
div.related ul { div.related ul {
margin: 0; margin: 0;
padding: 0 0 0 10px; padding: 0 0 0 10px;
list-style: none;
} }
div.related { div.related {
@ -581,7 +580,7 @@ div.document {
} }
/* Reduce margins to save space */ /* Reduce margins to save space */
div.sphinxsidebar ul ul, div.sphinxsidebar ul, div.bodywrapper, div.content { div.sphinxsidebar ul ul, div.bodywrapper, div.content {
margin-left: 0; margin-left: 0;
} }