diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index ede6c726c..438277dee 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -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 .hover-row.markdown-hover:first-child p { + margin-top: 8px; +} +.monaco-hover .hover-row.markdown-hover:first-child .monaco-tokenized-source { + margin-top: 8px; +}