diff --git a/arduino-ide-extension/src/browser/style/arduino.useable.css b/arduino-ide-extension/src/browser/style/arduino.useable.css index a89ddf19..de9e8e52 100644 --- a/arduino-ide-extension/src/browser/style/arduino.useable.css +++ b/arduino-ide-extension/src/browser/style/arduino.useable.css @@ -18,8 +18,8 @@ is not optimized for dense, information rich UIs. :root { /* Custom Theme Colors */ - --theia-arduino-light: rgb(0, 102, 102); - --theia-arduino-light1: rgb(0, 153, 153); + --theia-arduino-light: #005C5F; + --theia-arduino-light1: #00979D; --theia-arduino-terminal: rgb(0, 0, 0); /* Borders: Width and color (bright to dark) */ --theia-border-width: 1px; @@ -108,7 +108,7 @@ is not optimized for dense, information rich UIs. --theia-warn-color3: var(--md-amber-200); --theia-warn-font-color0: var(--md-grey-900); --theia-error-color0: var(--md-red-400); - --theia-error-color1: var(--md-red-300); + --theia-error-color1: #da5b4a; --theia-error-color2: var(--md-red-200); --theia-error-color3: var(--md-red-100); --theia-error-font-color0: var(--md-grey-300); diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index fb7ae320..1b7cf4bc 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -99,4 +99,9 @@ display: flex; align-items: center; color: var(--theia-ui-font-color3); +} + +.monaco-editor .margin { + border-right: 2px solid var(--theia-border-color1); + box-sizing: border-box; } \ No newline at end of file