From f37879e34dbda8de64fb892375bcb8a7463e5d20 Mon Sep 17 00:00:00 2001 From: dankeboy36 Date: Tue, 27 Sep 2022 22:32:10 +0200 Subject: [PATCH 1/2] Better tooltips. fixes #1503 Signed-off-by: dankeboy36 --- arduino-ide-extension/src/browser/style/main.css | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index ede6c726c..4ebda8c43 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 p { + margin: 8px 0; +} +.monaco-hover .monaco-tokenized-source { + margin-top: 8px; +} From f43819a7532a12d7e533496e0a60102910b4aa7a Mon Sep 17 00:00:00 2001 From: dankeboy36 Date: Thu, 6 Oct 2022 20:52:40 +0200 Subject: [PATCH 2/2] Apply margin adjustments to the first hover row Signed-off-by: dankeboy36 --- arduino-ide-extension/src/browser/style/main.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index 4ebda8c43..438277dee 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -253,9 +253,9 @@ outline-offset: -1px; } -.monaco-hover p { - margin: 8px 0; +.monaco-hover .hover-row.markdown-hover:first-child p { + margin-top: 8px; } -.monaco-hover .monaco-tokenized-source { +.monaco-hover .hover-row.markdown-hover:first-child .monaco-tokenized-source { margin-top: 8px; }