On Fri, 19 Jul 2024 at 06:03, Jonathan S. Katz <jk...@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/
add_tooltip_to_heading_links.patch
Description: Binary data
