Toggle visibility of documentation anchors on hover

By default, this hides the anchors that are made visible[1]
and makes them only appear when a user hovers over the
appropriate element.

[1] https://git.postgresql.org/gitweb/?p=postgresql.git;a=commit;h=e2922702a3

Author: Brar Piening <brar@gmx.de>
Reviewed-by: Jonathan Katz <jonathan.katz@excoventures.com>
This commit is contained in:
Jonathan S. Katz
2023-04-22 14:44:48 -04:00
parent f84047b9d1
commit c7a5951d2e

View File

@ -1175,6 +1175,20 @@ code,
padding-right: 2em;
}
/**
* Styles for anchors to deeper documentation links. This makes an element
* (currently "#") appear next to links, so a reader can click on it and have
* the anchor appear in the URL.
*/
#docContent a.id_link {
color: inherit;
visibility: hidden;
}
#docContent *:hover > a.id_link {
visibility: visible;
}
/**
* Various callout boxes for docs, including warning, caution, note, tip
*/