Better tooltips.

fixes #1503

Signed-off-by: dankeboy36 <dankeboy36@gmail.com>
This commit is contained in:
dankeboy36 2022-09-27 22:32:10 +02:00 committed by per1234
parent 2d2be1f6d0
commit 5444395f34

View File

@ -11,7 +11,7 @@
#theia-main-content-panel div[id^="code-editor-opener"] {
z-index: auto;
}
.p-TabBar-toolbar .item.arduino-tool-item {
margin-left: 0;
}
@ -97,8 +97,7 @@
display: flex;
justify-content: center;
align-items: center;
background-color: var(--theia-titleBar-activeBackground);
background-color: var(--theia-titleBar-activeBackground);
}
#arduino-toolbar-container {
@ -253,3 +252,10 @@
outline: 1px solid var(--theia-contrastBorder);
outline-offset: -1px;
}
.monaco-hover p {
margin: 8px 0;
}
.monaco-hover .monaco-tokenized-source {
margin-top: 8px;
}