Merge pull request #699 from dlesbre/dlesbre/message-panel-colors

Fix message panel colors
coq · Dec 1, 2023 · 9c5ca18 · 9c5ca18
2 parents defa02b + f8bceab
commit 9c5ca18
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/client/goal-view-ui/src/components/atoms/PpString.module.css b/client/goal-view-ui/src/components/atoms/PpString.module.css
@@ -13,11 +13,11 @@
 }
 
 .Info {
-    color: var(--vscode-editorInfo-background);
+    color: var(--vscode-editorInfo-foreground);
 }
 
 .Hint {
-    color: var(--vscode-editorInlayHint-background);
+    color: var(--vscode-editorInlayHint-foreground);
 }
 
 .Goal {