From bc264d1adfd525778c45a0fc1414efc51d8eccff Mon Sep 17 00:00:00 2001
From: dankeboy36 <dankeboy36@gmail.com>
Date: Thu, 6 Oct 2022 20:52:40 +0200
Subject: [PATCH] Apply margin adjustments to the first hover row

Signed-off-by: dankeboy36 <dankeboy36@gmail.com>
---
 arduino-ide-extension/src/browser/style/main.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css
index 4ebda8c4..438277de 100644
--- a/arduino-ide-extension/src/browser/style/main.css
+++ b/arduino-ide-extension/src/browser/style/main.css
@@ -253,9 +253,9 @@
     outline-offset: -1px;
 }
 
-.monaco-hover p {
-    margin: 8px 0;
-}
-.monaco-hover .monaco-tokenized-source {
+.monaco-hover .hover-row.markdown-hover:first-child p {
+    margin-top: 8px;
+}
+.monaco-hover .hover-row.markdown-hover:first-child .monaco-tokenized-source {
     margin-top: 8px;
 }