[gnome-builder] ide-hover-popover: Improve readability / style

[Günther Wagner <gwagner src gnome org>]

commit 5c2ae66575a86eef6f8d2fcc6da68039380ae7a4
Author: Felix Häcker <haeckerfelix gnome org>
Date:   Sat Dec 4 15:51:55 2021 +0100

    ide-hover-popover: Improve readability / style

 src/libide/sourceview/ide-hover-popover.c          |  1 +
 src/libide/themes/themes/shared/shared-hoverer.css | 21 ++++++++++++++-------
 2 files changed, 15 insertions(+), 7 deletions(-)
---
diff --git a/src/libide/sourceview/ide-hover-popover.c b/src/libide/sourceview/ide-hover-popover.c
index e4c054a1a..62092178b 100644
--- a/src/libide/sourceview/ide-hover-popover.c
+++ b/src/libide/sourceview/ide-hover-popover.c
@@ -94,6 +94,7 @@ ide_hover_popover_add_content (const gchar      *title,
                       "visible", TRUE,
                       NULL);
   gtk_container_add (GTK_CONTAINER (self->box), GTK_WIDGET (box));
+  dzl_gtk_widget_add_style_class (GTK_WIDGET (box), "hoverer-box");
 
   if (!dzl_str_empty0 (title))
     {
diff --git a/src/libide/themes/themes/shared/shared-hoverer.css 
b/src/libide/themes/themes/shared/shared-hoverer.css
index af166e4f9..53df08991 100644
--- a/src/libide/themes/themes/shared/shared-hoverer.css
+++ b/src/libide/themes/themes/shared/shared-hoverer.css
@@ -1,19 +1,26 @@
 popover.hoverer {
-  padding: 8px 12px;
+  padding: 0px;
 }
 
 popover.hoverer > box > :not(:first-child) {
   margin-top: 8px;
 }
 
-popover.hoverer > box > box > .title {
-  opacity: 0.55;
-  font-weight: bold;
-  font-size: 0.8333em;
-  margin-bottom: 2px;
+popover.hoverer .title {
+  font-weight: 700;
+  font-size: 10pt;
+  margin-bottom: 6px;
 }
 
-popover.hoverer > box > box box.linked button {
+popover.hoverer box.linked button {
   padding: 0px 6px;
   font-size: 0.9em;
 }
+
+.hoverer-box {
+  padding: 12px;
+}
+
+.hoverer-box:not(:last-child) {
+  border-bottom: 1px solid @borders;
+}