[tools] Remove animation for marked

Bug: v8:10644
Change-Id: I8c81e1f9d6f1f766af07905928ea7b437771e1ef
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2567201
Reviewed-by: Camillo Bruni <cbruni@chromium.org>
Commit-Queue: Camillo Bruni <cbruni@chromium.org>
Cr-Commit-Position: refs/heads/master@{#71540}
This commit is contained in:
Sathya Gunasekaran 2020-12-01 21:26:36 +05:30 committed by Commit Bot
parent 6180581fdd
commit 5bdb1cec9d

View File

@ -40,7 +40,6 @@ found in the LICENSE file. -->
.marked {
background-color: var(--secondary-color);
animation: pulse 3s ease-in-out infinite;
}
@keyframes pulse {