diff --git a/edit.html b/edit.html index 244469fa..46d9b347 100644 --- a/edit.html +++ b/edit.html @@ -9,7 +9,7 @@ - + @@ -192,12 +192,10 @@ .CodeMirror-search-hint { color: #888; } - .cm-matchhighlight { - text-decoration: underline; - text-decoration-skip: ink; - } + .cm-matchhighlight-approved .cm-matchhighlight, .CodeMirror-selection-highlight-scrollbar { - background-color: rgba(144, 179, 214, 0.3); + animation: fadein-match-highlighter 1s cubic-bezier(.97,.01,.42,.98); + animation-fill-mode: both; } @-webkit-keyframes highlight { from { @@ -215,6 +213,10 @@ opacity: 1; } } + @keyframes fadein-match-highlighter { + from { background-color: transparent; } + to { background-color: rgba(1, 151, 193, 0.1); } + } .resize-grip { position: absolute; display: block;