From 6ec6042366c0885bfeb2d645df6a207b498e6c4b Mon Sep 17 00:00:00 2001
From: Mitja Felicijan <mitja.felicijan@gmail.com>
Date: Tue, 8 Jan 2019 16:24:09 +0100
Subject: added padding and yellow background when text selected

---
 tools/editor/index.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tools/editor/index.html b/tools/editor/index.html
index d3ec567..3bdef13 100644
--- a/tools/editor/index.html
+++ b/tools/editor/index.html
@@ -24,7 +24,7 @@
 			top: 0;
 			right: 0;
 			bottom: 0;
-			padding: 80px;
+			padding: 70px;
 			outline: none;
 			border: 0;
 			background: #222;
@@ -32,8 +32,10 @@
 			font-size: 28px;
 			font-family: Monaco, monospace;
 			font-weight: 200;
+			line-height: 130%;
 			overflow: auto;
 		}
+		::selection { background:#ff0; color:#000 }
 	</style>
 
 	<article contenteditable></article>
-- 
cgit v1.2.3