From a5136daace5e983a9269d3cce6cc18e2c74af28f Mon Sep 17 00:00:00 2001
From: Mitja Felicijan <mitja.felicijan@gmail.com>
Date: Fri, 10 Aug 2018 12:10:34 +0200
Subject: content update

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

(limited to 'tools/editor')

diff --git a/tools/editor/index.html b/tools/editor/index.html
index e214d03..158c472 100644
--- a/tools/editor/index.html
+++ b/tools/editor/index.html
@@ -27,11 +27,13 @@
 				width: 100%;
 				height: 100%;
 				padding: 20px;
-				font: 16px monospace;
 				outline: none;
 				border: 0;
 				background: #333;
 				color: #fff;
+				font-size: 28px;
+				font-family: "Lucida Console", Monaco, monospace;
+				font-weight: 200;
 			}
 		</style>
 
-- 
cgit v1.2.3