On Thu, 23 Mar 2023 10:35:55 +0100
Alvaro Herrera <alvherre@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 <kop@karlpinc.com>
Free Software: "You don't pay back, you pay forward."
-- Robert A. Heinlein
