Wrong colors in light theme

banacorn / agda-mode-vscode

agda-mode on VS Code

https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode

MIT License

169 stars 39 forks source link

Wrong colors in light theme #95

Open cad0p opened 2 years ago

cad0p commented 2 years ago

Hi, I will attach a screenshot to show you the issue:

The theme is called "Light+"

banacorn commented 2 years ago

Thanks for reporting this!

LittleJianCH commented 4 months ago

I get the css file by developer tools and find the color of component-link (such as n in the first goal) is --vscode-button-foreground while the color of agda-mode-body is --vscode-sideBar-background.

Maybe the color of component-link should be --vscode-sideBar-foreground?

--vscode-button-foreground:

--vscode-sideBar-foreground: