From 74268d98eb679bb5e24edf3efa8e6c06398600fc Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 7 Mar 2015 03:11:41 +0300
Subject: [PATCH] Indicate active code box with a darker border

---
 edit.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/edit.html b/edit.html
index 4306c86f..8da18e12 100644
--- a/edit.html
+++ b/edit.html
@@ -80,6 +80,9 @@
 			.CodeMirror {
 				border: solid #CCC 1px;
 			}
+			.CodeMirror-focused {
+				border-color: black;
+			}
 			.applies-to {
 				display: flex;
 			}