[petsc-dev] Putting more menu items at the top of petsc.org pages (how to?)

[Barry Smith]

   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 <http://petsc.org/> pages instead of immediately going to More? I think I saw a way before but cannot find the magic words.




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20230219/bff492f8/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Untitled.png
Type: image/png
Size: 22515 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20230219/bff492f8/attachment-0001.png>