Date: Wed, 16 Oct 2024 18:18:59 -0400
From: Bruce Momjian <bruce@momjian.us>
To: David Rowley <dgrowleyml@gmail.com>
Cc: "Jonathan S. Katz" <jkatz@postgresql.org>,
	Daniel Gustafsson <daniel@yesql.se>, Tom Lane <tgl@sss.pgh.pa.us>,
	Muhammad Ikram <mmikram@gmail.com>, pgsql-docs@lists.postgresql.org
Subject: Re: A minor bug in doc. Hovering over heading shows # besides it.
Message-ID: <ZxA70wMSFDEUViWq@momjian.us>
References: 
 <CAGeimVqnkm7X-cXNNXjdGL2u5N29RiFtcpUzPuW1-VYACe6m+Q@mail.gmail.com>
 <CAApHDvq74df8y+_ef1X_EQsurUfqyNPWf-mYfSxbph5Of+4Z0A@mail.gmail.com>
 <3648828.1721279892@sss.pgh.pa.us>
 <5C909F36-9412-4CA0-BC86-43B4632CD17C@yesql.se>
 <3701766.1721310545@sss.pgh.pa.us>
 <30D9BFAE-A61D-4382-A4A9-7E55082047EC@yesql.se>
 <c2e3bc0c-5717-4268-b4bd-c1b88a5c0799@postgresql.org>
 <CAApHDvo1Qe-XZMczwSBcEkJUP6FdRA0YpeY2Pq6SgDe_b8Sgag@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: 
 <CAApHDvo1Qe-XZMczwSBcEkJUP6FdRA0YpeY2Pq6SgDe_b8Sgag@mail.gmail.com>
Archived-At: 
 <https://www.postgresql.org/message-id/ZxA70wMSFDEUViWq%40momjian.us>
Precedence: bulk


Where are we on this?  I still see "#".

---------------------------------------------------------------------------

On Mon, Aug 12, 2024 at 02:19:06PM +1200, David Rowley wrote:
> On Fri, 19 Jul 2024 at 06:03, Jonathan S. Katz <jkatz@postgresql.org> wrote:
> >
> > On 7/18/24 1:59 PM, Daniel Gustafsson wrote:
> > > Looking a bit closer, the Python documentation does just this, a pilcrow with a
> > > tool-tip ("Link to this heading") when hovering over it
> >
> > I forgot why we went with the "#" and not the (TIL the name) pilcrow
> > symbol, but I'm generally used to seeing the pilcrow when I browse docs
> > and may have voiced that at the time (though the record may show
> > otherwise). So +1 to that.
> 
> I'm not really a web developer, but I did have a go at adjusting the
> .css file so we show some relevant tooltip text. I was reminded about
> this when looking at [1] this morning. That page is using '#' but the
> purpose of it seems quite obvious when combined with the tooltip.
> 
> I've attached a small patch to adjust the CSS with hopes that it might
> inspire someone who actually knows what they're doing with CSS to make
> it better.
> 
> David
> 
> [1] https://stackoverflow.blog/2024/07/24/developers-want-more-more-more-the-2024-results-from-stack-overflow-s-annual-developer-survey/

> diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css
> index 86a8edb926..866636eccf 100644
> --- a/doc/src/sgml/stylesheet.css
> +++ b/doc/src/sgml/stylesheet.css
> @@ -175,6 +175,20 @@ acronym		{ font-style: inherit; }
>  a.id_link {
>  	color: inherit;
>  	visibility: hidden;
> +	text-decoration: none;
> +}
> +
> +a.id_link:hover:after {
> +	content: "Pemalink 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;
>  }
>  
>  *:hover > a.id_link {


-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  When a patient asks the doctor, "Am I going to die?", he means 
  "Am I going to die soon?"