From 559420a461857a2848ecbc35a9c3e906ec5ca2be Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Wed, 15 Nov 2017 11:49:02 +0300
Subject: [PATCH] FF: outline the active code box

-webkit-focus-ring-color rgb value is used, but not the blurred effect (TODO)
---
 edit/codemirror-default.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/edit/codemirror-default.css b/edit/codemirror-default.css
index 96626241..1720aa72 100644
--- a/edit/codemirror-default.css
+++ b/edit/codemirror-default.css
@@ -15,6 +15,13 @@
   outline: -webkit-focus-ring-color auto 5px;
   outline-offset: -2px;
 }
+@-moz-document url-prefix("") {
+  /* restrict to FF */
+  .CodeMirror-focused {
+    outline: #7dadd9 auto 1px;
+    outline-offset: -1px;
+  }
+}
 .CodeMirror-search-field {
   width: 10em;
 }