Thanks, Jed! I had seen that exact web page months ago but could not find it again. Could not get the magic words for the Google.
https://gitlab.com/petsc/petsc/-/merge_requests/6106 > On Feb 22, 2023, at 12:19 AM, Jed Brown <j...@jedbrown.org> wrote: > > Here's the theme option to control it. > > https://pydata-sphinx-theme.readthedocs.io/en/stable/user_guide/header-links.html#navigation-bar-dropdown-links > > "Zhang, Hong via petsc-dev" <petsc-dev@mcs.anl.gov> writes: > >> I think this is controlled by the theme we are using, which is >> pydata-sphinx-theme. It seems that the only way to do what you want is to >> modify the theme directly. >> >> https://github.com/pydata/pydata-sphinx-theme/blob/main/src/pydata_sphinx_theme/__init__.py#L283 >> >> This function displays 5 TocTree directives before going to More. Perhaps we >> can create our own fork for this theme and customize it. >> >> Hong (Mr.) >> >>> On Feb 19, 2023, at 6:01 PM, Barry Smith <bsm...@petsc.dev> wrote: >>> >>> >>> Googling "magic words sphinx menu" didn't help me so I ask here. Is there >>> a way to have more menu items at the top >>> of the petsc.org pages instead of immediately going to More? I think I saw >>> a way before but cannot find the magic words. >>> >>> >>> >>> <Untitled.png>
