make it crunchier: border borders, less padding
This commit is contained in:
parent
84e4dde3d7
commit
cb46dd7840
13 changed files with 96 additions and 93 deletions
2
packages/codemirror/themes/strudel-theme.mjs
vendored
2
packages/codemirror/themes/strudel-theme.mjs
vendored
|
|
@ -5,7 +5,7 @@ export const settings = {
|
|||
background: '#222',
|
||||
lineBackground: '#22222299',
|
||||
foreground: '#fff',
|
||||
muted: '#ffffff50',
|
||||
muted: '#8a919966',
|
||||
caret: '#ffcc00',
|
||||
selection: 'rgba(128, 203, 196, 0.5)',
|
||||
selectionMatch: '#036dd626',
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue