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

Barry Smith bsmith at petsc.dev
Sun Feb 19 18:01:02 CST 2023

   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>

More information about the petsc-dev mailing list