diff --git a/edit/codemirror-default.css b/edit/codemirror-default.css index 6d68219a..0a8ef287 100644 --- a/edit/codemirror-default.css +++ b/edit/codemirror-default.css @@ -108,6 +108,9 @@ /* TODO: remove this when strict_min_version >= 62 */ background: #444; } + .cm-s-default div.CodeMirror-cursor { + border-left: 1px solid #fff; + } /* Using Chromium's dark devtools colors */ .cm-s-default .cm-atom, .cm-s-default .cm-number { color: #a1f7b5 } diff --git a/global-dark.css b/global-dark.css index 385b043c..457f81c4 100644 --- a/global-dark.css +++ b/global-dark.css @@ -1,4 +1,4 @@ -@media (prefers-color-scheme: dark) { +@media screen and (prefers-color-scheme: dark), dark { :root { /* Comfortable dark themes don't use absolutes so the range is compressed */ --c00: hsl(0, 0%, 80%); @@ -30,6 +30,12 @@ background-color: var(--input-bg); color: var(--fg); } + .filter-selection label + div select { + transition: none; + } + .filter-selection select:not(:focus):not(:hover) { + background-color: transparent; + } input::-webkit-inner-spin-button { filter: invert(.8); } @@ -45,19 +51,75 @@ .onoffswitch { --knob: var(--c50); } + .CodeMirror-scrollbar-filler, + .CodeMirror-gutter-filler { + background-color: var(--bg) !important; + border: 0; + } ::-webkit-scrollbar { width: 14px; height: 14px; background: var(--bg); } + ::-webkit-scrollbar-corner { + background: var(--bg); + border: 0; + } + /* buttons */ ::-webkit-scrollbar-button:single-button { - background: radial-gradient(circle at center, #333 40%, var(--bg) 40%); + height: 14px; + width: 14px; + background-size: 10px; + background-position: 2px 4px; + background-repeat: no-repeat; } - ::-webkit-scrollbar-button:single-button:hover { - background: radial-gradient(circle at center, #444 40%, var(--bg) 40%); + ::-webkit-scrollbar-button:horizontal:single-button { + background-position: 4px 2px; } - ::-webkit-scrollbar-button:single-button:active { - background: radial-gradient(circle at center, #555 40%, var(--bg) 40%); + /* up */ + ::-webkit-scrollbar-button:single-button:vertical:decrement { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:vertical:decrement:hover { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:vertical:decrement:active { + background-image: url("data:image/svg+xml;utf8,"); + } + /* down */ + ::-webkit-scrollbar-button:single-button:vertical:increment { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:vertical:increment:hover { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:vertical:increment:active { + background-image: url("data:image/svg+xml;utf8,"); + } + /* left */ + ::-webkit-scrollbar-button:single-button:horizontal:decrement { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:horizontal:decrement:hover { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:horizontal:decrement:active { + background-image: url("data:image/svg+xml;utf8,"); + } + /* right */ + ::-webkit-scrollbar-button:single-button:horizontal:increment { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:horizontal:increment:hover { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-button:single-button:horizontal:increment:active { + background-image: url("data:image/svg+xml;utf8,"); + } + ::-webkit-scrollbar-track-piece { + background: #333; + border: 4px solid var(--bg); + border-radius: 8px; } ::-webkit-scrollbar-track-piece { background: #333;