On Thu, 13 Apr 2023 16:01:35 +0200 Brar Piening <b...@gmx.de> wrote: > On 13.04.2023 at 10:31, Peter Eisentraut wrote: > > The first patch has been committed. > > Yay - thank you! > > > The second patch should be sent to pgsql-www for integrating into > > the web site. > Done via [1]. Thanks for the hint. > > > Side project: I noticed that these new hover links don't appear in > > the single-page HTML output (make postgres.html), even though the > > generated HTML source code looks correct. Maybe someone has an idea > > there. > I feel responsible for the feature to work for all use cases where it > makes sense. I'll investigate this and post back.
Looks to me like the ">" in the CSS was transformed into the > HTML entity when the stylesheet was included into the single-file HTML. Regards, Karl <k...@karlpinc.com> Free Software: "You don't pay back, you pay forward." -- Robert A. Heinlein