Skip to content

Commit

Permalink
Adjust CSS to have tooltips in the H2 headings in the docs
Browse files Browse the repository at this point in the history
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.

Reported-by: Muhammad Ikram <[email protected]>
Reviwed-by: Daniel Gustafsson <[email protected]>
Discussion: https://postgr.es/m/CAGeimVqnkm7X-cXNNXjdGL2u5N29RiFtcpUzPuW1-VYACe6m+Q@mail.gmail.com
  • Loading branch information
david-rowley authored and danielgustafsson committed Nov 6, 2024
1 parent 0d98d67 commit b1305e2
Showing 1 changed file with 14 additions and 0 deletions.
14 changes: 14 additions & 0 deletions media/css/main.css
Original file line number Diff line number Diff line change
Expand Up @@ -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 {
Expand Down

0 comments on commit b1305e2

Please sign in to comment.