mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-09 20:36:32 +00:00
Apply margin adjustments to the first hover row
Signed-off-by: dankeboy36 <dankeboy36@gmail.com>
This commit is contained in:
parent
5444395f34
commit
bc264d1adf
@ -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;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user