[petsc-dev] Putting more menu items at the top of petsc.org pages (how to?)
Barry Smith
bsmith at petsc.dev
Wed Feb 22 08:10:39 CST 2023
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 <jed at 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 at 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 <bsmith at 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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20230222/f5bf9c47/attachment.html>
More information about the petsc-dev
mailing list