2019-01-20 21:50:24 +03:00
|
|
|
<!DOCTYPE HTML>
|
|
|
|
<html style="height: 100%">
|
|
|
|
<head>
|
|
|
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no" />
|
|
|
|
<meta name="theme-color" content="#000">
|
|
|
|
<link rel="stylesheet" href="css/leaflet.css"/>
|
|
|
|
<title>Minetest Mapserver</title>
|
|
|
|
<style>
|
|
|
|
body {
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
#image-map {
|
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
|
|
|
border: 1px solid #ccc;
|
|
|
|
margin-bottom: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.leaflet-custom-display {
|
|
|
|
background: #fff;
|
|
|
|
padding: 5px;
|
|
|
|
}
|
|
|
|
</style>
|
|
|
|
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div id="image-map"></div>
|
|
|
|
|
|
|
|
<script src="js/lib/leaflet.js"></script>
|
|
|
|
<script src="js/lib/mithril.min.js"></script>
|
2019-01-29 10:57:35 +03:00
|
|
|
<script src="js/RealtimeTileLayer.js"></script>
|
|
|
|
<script src="js/WebSocketChannel.js"></script>
|
|
|
|
<script src="js/CoordinatesDisplay.js"></script>
|
2019-01-20 21:50:24 +03:00
|
|
|
<script src="js/main.js"></script>
|
|
|
|
|
|
|
|
</body>
|
|
|
|
</html>
|