diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index 40cae2a3..659c3ea3 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -2,6 +2,12 @@ background: var(--theia-editorGroupHeader-tabsBackground); } +/* Negative values to lower the priority in order to avoid the problem that +   the Intellisense widget may be cover by the bottom panel partially. */ +#theia-bottom-content-panel { + z-index: -1; +} + .p-TabBar-toolbar .item.arduino-tool-item { margin-left: 0; }