From e32fecd1e37074aca5608f008ab00bc9b6f747f5 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 2 Dec 2017 18:53:37 +0300
Subject: [PATCH] usercss: tint the active line's @mozdoc widget

---
 edit/codemirror-default.css | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/edit/codemirror-default.css b/edit/codemirror-default.css
index 7cc0c8c3..5bf391a9 100644
--- a/edit/codemirror-default.css
+++ b/edit/codemirror-default.css
@@ -45,3 +45,18 @@
   from { background-color: rgba(255, 255, 0, .4); } /* search color */
   to   { background-color: rgba(100, 255, 100, .4); } /* sarch + highlight */
 }
+
+.CodeMirror-activeline .applies-to:before {
+  background-color: hsla(214, 100%, 90%, 0.15);
+  content: "";
+  top: 1em;
+  left: 0;
+  right: 0;
+  bottom: 1em;
+  position: absolute;
+  pointer-events: none;
+}
+
+.CodeMirror-activeline .applies-to ul {
+  z-index: 2;
+}