Toggle visibility of documentation anchors on hover
authorJonathan S. Katz <jonathan.katz@excoventures.com>
Sat, 22 Apr 2023 18:44:48 +0000 (14:44 -0400)
committerJonathan S. Katz <jonathan.katz@excoventures.com>
Sat, 22 Apr 2023 18:44:48 +0000 (14:44 -0400)
commitc7a5951d2eaa7fe096996bfbddf721b221dc6e8c
treeee91788da179557ae7bbfce9c63efe713209e725
parentf84047b9d1fcdef0b2d57515060e25671348cccc
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>
media/css/main.css