<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><br></div><div> 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</div><div>of the <a href="http://petsc.org">petsc.org</a> pages instead of immediately going to More? I think I saw a way before but cannot find the magic words.</div><div><br></div><div><br></div><div><br></div><img alt="Untitled.png" src="cid:F0620B61-1B5C-4D4F-BCDB-A020C8CE7F1E" width="640"><br></body></html>