Apply margin adjustments to the first hover row

dankeboy36 · per1234 · commit bc264d1adfd5 · 2022-10-07T04:16:26.000-07:00
Signed-off-by: dankeboy36 &lt;dankeboy36@gmail.com&gt;
diff --git 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 .hover-row.markdown-hover:first-child p {
+    margin-top: 8px;
 }
-.monaco-hover .monaco-tokenized-source {
+.monaco-hover .hover-row.markdown-hover:first-child .monaco-tokenized-source {
     margin-top: 8px;
 }

Original file line number	Diff line number	Diff line change
`@@ -253,9 +253,9 @@`
`253`	`253`	`outline-offset: -1px;`
`254`	`254`	`}`
`255`	`255`
`256`		`-.monaco-hover p {`
`257`		`- margin: 8px 0;`
	`256`	`+.monaco-hover .hover-row.markdown-hover:first-child p {`
	`257`	`+ margin-top: 8px;`
`258`	`258`	`}`
`259`		`-.monaco-hover .monaco-tokenized-source {`
	`259`	`+.monaco-hover .hover-row.markdown-hover:first-child .monaco-tokenized-source {`
`260`	`260`	`margin-top: 8px;`
`261`	`261`	`}`