Hmm. Maybe it’s a Explorer thing. You can slide the pages left and right to pick up extra columns on Chrome.
From: Satish Balay <ba...@mcs.anl.gov> Date: Monday, November 7, 2022 at 8:30 AM To: Palmer, Bruce J <bruce.pal...@pnnl.gov> Cc: 'petsc-users@mcs.anl.gov' <petsc-users@mcs.anl.gov> Subject: Re: [petsc-users] Petsc Documentation I see the search option on the top right of https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpetsc.org%2Frelease%2F&data=05%7C01%7CBruce.Palmer%40pnnl.gov%7Ca687e10cb96442eabdd608dac0dd725e%7Cd6faa5f90ae240338c0130048a38deeb%7C0%7C0%7C638034354592315538%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=wbT8SGAWgY0HLAF58Tn94D9hLT5%2FPgcMCfTX5VEKdjA%3D&reserved=0 [and says ctrl-k is the key binding] Also google search usually gets to the man page. And on the 'single index' page - looks like the visible width is small [compared to whats there] - Ctrl-F is able to find PetscPrintf Satish On Mon, 7 Nov 2022, Palmer, Bruce J via petsc-users wrote: > Hi, > > The new Petsc documentation pages don't seem to have a search function. Would > it be possible to add one? I was looking around for the documentation on > PetscPrintf and couldn't find it, even on the single index of all petsc man > pages. > > Bruce Palmer > Computer Scientist > Pacific Northwest National Laboratory > (509) 375-3899 > >