From 4e549bfbd1bde06f99d330497e3560925705db32 Mon Sep 17 00:00:00 2001
From: Mitja Felicijan <mitja.felicijan@gmail.com>
Date: Tue, 8 Jan 2019 16:20:11 +0100
Subject: added bigger padding to editor

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

(limited to 'tools/editor')

diff --git a/tools/editor/index.html b/tools/editor/index.html
index f9123d4..d3ec567 100644
--- a/tools/editor/index.html
+++ b/tools/editor/index.html
@@ -24,7 +24,7 @@
 			top: 0;
 			right: 0;
 			bottom: 0;
-			padding: 40px;
+			padding: 80px;
 			outline: none;
 			border: 0;
 			background: #222;
@@ -67,4 +67,4 @@
 
 </body>
 
-</html>
\ No newline at end of file
+</html>
-- 
cgit v1.2.3