| Index: Source/devtools/front_end/cm/cmdevtools.css
|
| diff --git a/Source/devtools/front_end/cm/cmdevtools.css b/Source/devtools/front_end/cm/cmdevtools.css
|
| index 48561860faf0c03793cd46dd5500292a6b15cd0d..838151aaab162d6e9cce19c536f79843d52f928d 100644
|
| --- a/Source/devtools/front_end/cm/cmdevtools.css
|
| +++ b/Source/devtools/front_end/cm/cmdevtools.css
|
| @@ -49,6 +49,14 @@
|
| to { background-color: white; }
|
| }
|
|
|
| +.cm-highlight.cm-execution-line {
|
| + -webkit-animation: "fadeout-execution-line" 1s 0s;
|
| +}
|
| +@-webkit-keyframes fadeout-execution-line {
|
| + from {background-color: rgb(121, 141, 254); }
|
| + to { background-color: rgb(171, 191, 254); }
|
| +}
|
| +
|
| .cm-breakpoint .CodeMirror-linenumber {
|
| color: white;
|
| border-width: 1px 4px 1px 1px !important;
|
| @@ -120,7 +128,7 @@
|
| }
|
|
|
| .cm-execution-line {
|
| - background-color: rgb(171, 191, 254) !important;
|
| + background-color: rgb(171, 191, 254);
|
| outline: 1px solid rgb(64, 115, 244);
|
| }
|
|
|
|
|