From cebf15c05985c6a02d9786db83009d6a039b03ed Mon Sep 17 00:00:00 2001
From: Francesco Spissu <f.spissu@arduino.cc>
Date: Tue, 21 Jun 2022 16:29:11 +0200
Subject: [PATCH] ide updater dialog colors fix

---
 .../src/browser/style/ide-updater-dialog.css                 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/arduino-ide-extension/src/browser/style/ide-updater-dialog.css b/arduino-ide-extension/src/browser/style/ide-updater-dialog.css
index 0060e323d..d655cdef2 100644
--- a/arduino-ide-extension/src/browser/style/ide-updater-dialog.css
+++ b/arduino-ide-extension/src/browser/style/ide-updater-dialog.css
@@ -27,8 +27,9 @@
 }
 
 .ide-updater-dialog .changelog-container {
-  background: white;
-  border: 1px solid #dae3e3;
+  color: var(--theia-dropdown-foreground);
+  background-color: var(--theia-dropdown-background);
+  border: 1px solid var(--theia-tree-indentGuidesStroke);
   border-radius: 2px;
   font-size: 12px;
   height: 180px;