diff options
| author | Michael Zhou <zhoumotongxue008@gmail.com> | 2015-11-25 18:40:06 -0500 |
|---|---|---|
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | 2015-11-26 15:21:49 +0900 |
| commit | ba85346117b850e143be9a7fe95052191f998de5 (patch) | |
| tree | 8694654b6156b363a2dfe66d86cdad12050efa23 | |
| parent | 4554d27f275a42583714be90abf14da398d088df (diff) | |
Add !important back to .cm-searching and .cm-trailingspace
Those were removed in change I907068f45, causing search results and
trailing whitespaces to not be highlighted in intraline diff chunks.
Change-Id: Ica8f8611cecdd34f0013fa5d3a67929cb1cb139d
| -rw-r--r-- | gerrit-gwtui/src/main/java/net/codemirror/lib/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gerrit-gwtui/src/main/java/net/codemirror/lib/style.css b/gerrit-gwtui/src/main/java/net/codemirror/lib/style.css index c5f79d3c56..6ce70dbbe1 100644 --- a/gerrit-gwtui/src/main/java/net/codemirror/lib/style.css +++ b/gerrit-gwtui/src/main/java/net/codemirror/lib/style.css @@ -62,11 +62,11 @@ } .cm-searching { - background-color: #ffa; + background-color: #ffa !important; } .cm-trailingspace { - background-color: red; + background-color: red !important; } /* Line length margin displayed at NN columns to provide |