Pixel push: dim down search panel's close button

This commit is contained in:
Jonatan Heyman 2023-03-03 16:02:01 +01:00
parent 37d1984f1f
commit 84812e892c
2 changed files with 7 additions and 0 deletions

View File

@ -63,6 +63,9 @@ const darkTheme = EditorView.theme({
color: "rgba(255,255,255, 0.6)", color: "rgba(255,255,255, 0.6)",
border: "none", border: "none",
}, },
".cm-panel.cm-search [name=close]" : {
color: "rgba(255,255,255, 0.8)",
},
'.cm-panels.cm-panels-top': { borderBottom: '2px solid black' }, '.cm-panels.cm-panels-top': { borderBottom: '2px solid black' },
'.cm-searchMatch': { '.cm-searchMatch': {

View File

@ -21,6 +21,10 @@ const lightTheme = EditorView.theme({
border: "1px solid #48b57e", border: "1px solid #48b57e",
outline: "1px solid #48b57e", outline: "1px solid #48b57e",
}, },
".cm-panel.cm-search [name=close]" : {
color: "rgba(0,0,0, 0.8)",
},
".cm-cursor, .cm-dropCursor": { ".cm-cursor, .cm-dropCursor": {
borderLeftColor: "#000", borderLeftColor: "#000",
}, },