blob: 245806e9832757583592c625f8d7c2a4a9cb1d91 (
plain)
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
|
<!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;
-ms-interpolation-mode: nearest-neighbor;
}
</style>
</head>
<body>
<div id="map"></div>
<script type="text/javascript">
createMap();
</script>
</body>
</html>
|
