Polish hover header line-height and margin

Fixes #143883
This commit is contained in:
Daniel Imms
2022-12-16 14:31:40 -08:00
parent f75d676e8d
commit 9994a1786a

View File

@@ -38,10 +38,25 @@
.monaco-hover p,
.monaco-hover .code,
.monaco-hover ul {
.monaco-hover ul,
.monaco-hover h1,
.monaco-hover h2,
.monaco-hover h3,
.monaco-hover h4,
.monaco-hover h5,
.monaco-hover h6 {
margin: 8px 0;
}
.monaco-hover h1,
.monaco-hover h2,
.monaco-hover h3,
.monaco-hover h4,
.monaco-hover h5,
.monaco-hover h6 {
line-height: 1.1;
}
.monaco-hover code {
font-family: var(--monaco-monospace-font);
}