From 65e257ca37157f4f645e200f0bef2c718e7bc789 Mon Sep 17 00:00:00 2001 From: Paulo Reis Date: Mon, 16 Jan 2017 16:25:38 +0000 Subject: [PATCH] Change text marker colors on Ace dark themes. --- .../public/stylesheets/app/editor/review-panel.less | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/services/web/public/stylesheets/app/editor/review-panel.less b/services/web/public/stylesheets/app/editor/review-panel.less index 646de2fc3a..e7277e6be8 100644 --- a/services/web/public/stylesheets/app/editor/review-panel.less +++ b/services/web/public/stylesheets/app/editor/review-panel.less @@ -10,9 +10,11 @@ @rp-green : #2c8e30; @rp-dim-green : #cae3cb; +@rp-green-on-dark : rgba(37, 107, 41, 0.5); @rp-red : #c5060b; @rp-dim-red : #f3cdce; @rp-yellow : #f3b111; +@rp-yellow-on-dark : rgba(194, 93, 11, 0.5); @rp-dim-yellow : #ffe9b2; @rp-grey : #aaaaaa; @@ -703,6 +705,15 @@ border-left: 2px dotted @rp-red; margin-left: -1px; } + + .ace_dark { + .track-changes-comment-marker { + background-color: @rp-yellow-on-dark + } + .track-changes-added-marker { + background-color: @rp-green-on-dark; + } + } } .review-icon {