2015-02-02 09:08:36 +01:00
|
|
|
<!doctype html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
2015-02-02 10:47:32 +01:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no" />
|
2015-02-02 09:08:36 +01:00
|
|
|
<title>MinedMap</title>
|
2020-06-20 14:04:59 +02:00
|
|
|
<link rel="stylesheet" href="leaflet-1.6.0/leaflet.css" />
|
|
|
|
|
<script src="leaflet-1.6.0/leaflet.js"></script>
|
2015-02-02 09:08:36 +01:00
|
|
|
<script src="MinedMap.js"></script>
|
|
|
|
|
|
|
|
|
|
<style type="text/css">
|
2015-02-02 10:47:32 +01:00
|
|
|
body {
|
|
|
|
|
padding: 0;
|
|
|
|
|
margin: 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
html, body, #map {
|
|
|
|
|
height: 100%;
|
2015-02-02 09:08:36 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
body, .leaflet-container {
|
|
|
|
|
background: #333;
|
|
|
|
|
}
|
2015-02-02 14:29:41 +01:00
|
|
|
|
2015-02-03 20:15:58 +01:00
|
|
|
img.overzoomed {
|
2015-02-02 14:29:41 +01:00
|
|
|
image-rendering: -moz-crisp-edges;
|
|
|
|
|
image-rendering: -o-crisp-edges;
|
|
|
|
|
image-rendering: -webkit-optimize-contrast;
|
2015-02-04 06:53:04 +01:00
|
|
|
image-rendering: crisp-edges;
|
2015-02-02 14:29:41 +01:00
|
|
|
-ms-interpolation-mode: nearest-neighbor;
|
|
|
|
|
}
|
2015-02-02 09:08:36 +01:00
|
|
|
</style>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div id="map"></div>
|
|
|
|
|
<script type="text/javascript">
|
|
|
|
|
createMap();
|
|
|
|
|
</script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
