mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-12 22:50:54 +03:00
36 lines
743 B
Plaintext
36 lines
743 B
Plaintext
@import "syntax-variables";
|
|
|
|
.editor {
|
|
.lines {
|
|
.markup {
|
|
&.git-commit {
|
|
&.changed {
|
|
color: @syntax-color-modified;
|
|
}
|
|
|
|
&.deleted {
|
|
color: @syntax-color-removed;
|
|
}
|
|
|
|
&.inserted {
|
|
color: @syntax-color-added;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
.define-selection-flash-color-if-not-defined() { @syntax-selection-flash-color: rgba(100, 255, 100, 0.7); }
|
|
.define-selection-flash-color-if-not-defined();
|
|
|
|
@-webkit-keyframes flash {
|
|
from { background-color: @syntax-selection-flash-color; }
|
|
to { background-color: null; }
|
|
}
|
|
|
|
.editor .flash.selection .region {
|
|
-webkit-animation-name: flash;
|
|
-webkit-animation-duration: .5s;
|
|
-webkit-animation-iteration-count: 1;
|
|
}
|