add muted theme color + use it for inputs and tags

This commit is contained in:
Felix Roos 2026-01-20 00:06:44 +01:00
parent 38b7bcb3d2
commit de83805fd9
No known key found for this signature in database
44 changed files with 95 additions and 41 deletions

View file

@ -6,6 +6,7 @@ export const settings = {
background: '#fff',
lineBackground: '#ffffff99',
foreground: '#24292e',
muted: '#24292e50',
selection: '#BBDFFF',
selectionMatch: '#BBDFFF',
gutterBackground: '#fff',
@ -17,6 +18,7 @@ export default createTheme({
settings: {
background: '#fff',
foreground: '#24292e',
muted: '#24292e50',
selection: '#BBDFFF',
selectionMatch: '#BBDFFF',
gutterBackground: '#fff',