Merged
requested to merge haecker-felix/gnome-builder:wip/haeckerfelix/hover-popover-style into main
I found the previous design very cluttered, so I tried to make it a bit clearer. At the same time I fixed some CSS problems (e.g. the style for linked buttons was not applied).
