On Thu, Jan 19, 2023 at 05:11:20PM -0700, Jonathan Corbet wrote:
> # Custom sidebar templates, maps document names to template names.
> # Note that the RTD theme ignores this
> -html_sidebars = { '**': ['searchbox.html', 'localtoc.html', 'sourcelink.html']}
> +html_sidebars = { '**': ['searchbox.html', 'kernel-toc.html', 'sourcelink.html']}
>
In the sidebar, I see process/ is misorganized. That is,
process/{development-process,submitting-patches,code-of-conduct}.html
are at top-level entry, although these should have been children of
process/.
> +
> +/*
> + * Tweaks for our local TOC
> + */
> +div.kerneltoc li.toctree-l1 { font-size: smaller;
> + text-indent: -1em;
> + margin-left: 1em; }
> +div.kerneltoc li.current {font-weight: bold; }
> +div.kerneltoc li.toctree-l2 { font-size: smaller;
> + text-indent: -1em;
> + margin-left: 2em;
> + list-style-type: none;
> + }
> +div.kerneltoc li.current ul { margin-left: 0; }
> +div.kerneltoc { background-color: #eeeeee; }
> +div.kerneltoc li.current ul { background-color: white; }
I think only the visited page should be highlighted in bold, not its
full hierarchy.
Thanks.
--
An old man doll... just what I always wanted! - Clara
Attachment:
signature.asc
Description: PGP signature
