On Wed, 30 Oct 2024 at 11:39, Daniel Gustafsson <dan...@yesql.se> wrote:
>
> > On 29 Oct 2024, at 23:36, David Rowley <dgrowle...@gmail.com> wrote:
> > Do you have access to make this change? I think it needs to go into
> > https://www.postgresql.org/media/css/main.css
>
> I have a pgweb commitbit so if you roll a patch for it I can take care of the
> rest.
Thanks. Patch attached.
David
From 6b26501e43b4acb6f4c60f03f3194ad0403b88cf Mon Sep 17 00:00:00 2001
From: David Rowley <dgrow...@gmail.com>
Date: Wed, 6 Nov 2024 19:07:27 +1300
Subject: [PATCH] Adjust CSS to have tooltips in the H2 headings in the docs
There's been at least one complaint about a stray # that appears in the
manual. Add a tooltip to this to make it more clear why this appears
and what it's for.
---
media/css/main.css | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/media/css/main.css b/media/css/main.css
index cbfea862..71364f19 100644
--- a/media/css/main.css
+++ b/media/css/main.css
@@ -1183,6 +1183,20 @@ code,
#docContent a.id_link {
color: inherit;
visibility: hidden;
+ text-decoration: none;
+}
+
+#docContent a.id_link:hover:after {
+ content: "Permalink to this heading";
+ font-size: 10px;
+ font-weight: normal;
+ text-decoration: none;
+ border: 1px solid #444444;
+ text-align: center;
+ border-radius: 5px 5px 5px 5px;
+ padding: 5px 5px 5px 5px;
+ position: relative;
+ top: 20px;
}
#docContent *:hover > a.id_link {
--
2.40.1.windows.1
