viewer/index.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

<!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="leaflet-0.8-dev/leaflet.css" />
    <script src="leaflet-0.8-dev/leaflet.js"></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;
        -ms-interpolation-mode: nearest-neighbor;
      }
    </style>
  </head>
  <body>
    <div id="map"></div>
    <script type="text/javascript">
      createMap();
    </script>
  </body>
</html>