From b4e419134512942b29573f2d0167dbc89628e39f Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Wed, 31 Oct 2018 02:42:21 -0700
Subject: Decrease width for improved mobile experience

---
 index.html | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/index.html b/index.html
index 49ee9ff..086ad80 100644
--- a/index.html
+++ b/index.html
@@ -1,8 +1,7 @@
 <!doctype html>
 <html>
     <head>
-	<meta charset="UTF-8"> 
-	<meta name="viewport" content="width=device-width, initial-scale=1.0">
+	<meta charset="UTF-8">
 	<style>
 	 * {
 	     box-sizing: border-box;
@@ -22,7 +21,7 @@
 	     padding: 1em;
 	     margin: 1em;
 	     box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
-	     width: 400px;
+	     width: 300px;
 	 }
 	 input[type=text] {
 	     display: block;
-- 
cgit v1.2.3

