Display all links when hovering the page in devel-docs (thanks @ewiner @harding) (fixes #528)