From 5848e84b821497e1a3b0e7144bdb560e85e61882 Mon Sep 17 00:00:00 2001 From: narcolepticinsomniac Date: Tue, 27 Nov 2018 22:38:58 -0500 Subject: [PATCH] Remove unnecessary dummy animation Not sure what the point of it ever was, but I'm pretty sure it should go. --- edit/codemirror-default.css | 8 -------- 1 file changed, 8 deletions(-) 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);