diff --git a/edit/codemirror-default.css b/edit/codemirror-default.css index 83085a6d..61dd10f2 100644 --- a/edit/codemirror-default.css +++ b/edit/codemirror-default.css @@ -37,14 +37,6 @@ .cm-uso-variable { font-weight: bold; } -.cm-searching.cm-matchhighlight { - /* tokens found by manual search should not animate by cm-matchhighlight */ - animation-name: search-and-match-highlighter !important; -} -@keyframes search-and-match-highlighter { - from { background-color: rgba(255, 255, 0, .4); } /* search color */ - to { background-color: rgba(100, 255, 100, .4); } /* sarch + highlight */ -} .CodeMirror-activeline .applies-to:before { background-color: hsla(214, 100%, 90%, 0.15);