From 0bf2903c2208343113c3e8d25f37a48ec5ca09b0 Mon Sep 17 00:00:00 2001
From: Aaron Webster <webstera@google.com>
Date: Mon, 21 Sep 2020 11:26:24 -0700
Subject: [PATCH] Undo formatting to index.html

---
 viewer/index.html | 91 +++++++++++++++++++++++------------------------
 1 file changed, 44 insertions(+), 47 deletions(-)
diff --git a/viewer/index.html b/viewer/index.html
index 05b7020..3ce71c7 100644
--- a/viewer/index.html
+++ b/viewer/index.html
@@ -1,50 +1,47 @@
-<!DOCTYPE html>
+<!doctype html>
 <html>
-<head>
-  <meta charset="utf-8">
-  <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
-  <title>MinedMap</title>
-  <link rel="stylesheet"
-        href="https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.7.1/leaflet.css" 
-	integrity="sha512-xodZBNTC5n17Xt2atTPuE1HxjVMSvLVW9ocqUKLsCC5CXdbqCmblAshOMAS6/keqq/sMZMZ19scR4PsZChSR7A==" 
-	crossorigin="anonymous" />
-  <script src="https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.7.1/leaflet.js"
-	  integrity="sha512-XQoYMqMTK8LvdxXYG3nZ448hOEQiglfqkJs1NOQV44cWnUrBc8PkAOcXy20w0vlaXaVUearIOBhiXZ5V3ynxwA==" 
-          crossorigin="anonymous">
-  </script>
-  <script src="MinedMap.js"></script>
-  <style type="text/css">
-  body {
-    padding: 0;
-    margin: 0;
-  }
-  
-  html,
-  body,
-  #map {
-    height: 100%;
-  }
-  
-  body,
-  .leaflet-container {
-    background: #333;
-  }
-  
-  img.overzoomed {
-    image-rendering: -moz-crisp-edges;
-    image-rendering: -o-crisp-edges;
-    image-rendering: -webkit-optimize-contrast;
-    image-rendering: crisp-edges;
-    image-rendering: pixelated;
-    -ms-interpolation-mode: nearest-neighbor;
-  }
-  </style>
-</head>
+  <head>
+    <meta charset="utf-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no" />
+    <title>MinedMap</title>
+    <link rel="stylesheet"
+          href="https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.7.1/leaflet.css" 
+  	integrity="sha512-xodZBNTC5n17Xt2atTPuE1HxjVMSvLVW9ocqUKLsCC5CXdbqCmblAshOMAS6/keqq/sMZMZ19scR4PsZChSR7A==" 
+  	crossorigin="anonymous" />
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.7.1/leaflet.js"
+  	  integrity="sha512-XQoYMqMTK8LvdxXYG3nZ448hOEQiglfqkJs1NOQV44cWnUrBc8PkAOcXy20w0vlaXaVUearIOBhiXZ5V3ynxwA==" 
+            crossorigin="anonymous">
+    </script>
+    <script src="MinedMap.js"></script>
 
-<body>
-  <div id="map"></div>
-  <script type="text/javascript">
-    createMap();
-  </script>
-</body>
+    <style type="text/css">
+      body {
+        padding: 0;
+        margin: 0;
+      }
+
+      html, body, #map {
+        height: 100%;
+      }
+
+      body, .leaflet-container {
+        background: #333;
+      }
+
+      img.overzoomed {
+        image-rendering: -moz-crisp-edges;
+        image-rendering: -o-crisp-edges;
+        image-rendering: -webkit-optimize-contrast;
+        image-rendering: crisp-edges;
+        image-rendering: pixelated;
+        -ms-interpolation-mode: nearest-neighbor;
+      }
+    </style>
+  </head>
+  <body>
+    <div id="map"></div>
+    <script type="text/javascript">
+      createMap();
+    </script>
+  </body>
 </html>
