On Thu, 23 Mar 2023 10:35:55 +0100 Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote:
> As with the <simplelist> patch, we'll need to patch the CSS used in > the website for the docs too, as that's the most important place > where docs are visited. See this commit for an example: > https://git.postgresql.org/gitweb/?p=pgweb.git;a=commitdiff;h=0b89ea0fff28d29ed177c82a274144453e3c7f82 > > In order to test locally that your patched stylesheet works correctly, > you'd have to compile the docs with "make html STYLE=website" in the > doc subdir, and tweak one of the CSS files there (I think it's > docs-complete.css) so that it references your local copy instead of > fetching it from the website. I should have known to put the css in a separate patch. > I'm not clear on what exactly becomes visible when one hovers over > what. Can you please share a screenshot? Attached are 2 screenshots. I don't know why, but for some reason you can't see the mouse pointer. "#' shows up when the mouse is anywhere over the html heading element. Regards, Karl <k...@karlpinc.com> Free Software: "You don't pay back, you pay forward." -- Robert A. Heinlein