mapserver/public/index.html
2022-02-05 08:05:55 +01:00

41 lines
1.2 KiB
HTML

<!DOCTYPE HTML>
<html >
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="theme-color" content="#000">
<!-- styles -->
<link rel="stylesheet" href="css/bootstrap.min.css"/>
<link rel="stylesheet" href="css/fontawesome.min.css"/>
<link rel="stylesheet" href="css/leaflet.css"/>
<link rel="stylesheet" href="css/leaflet.awesome-markers.css"/>
<link rel="stylesheet" href="css/custom.css"/>
<title>Minetest Mapserver</title>
</head>
<body>
<div id="app">
<br>
<h5 id="title">Starting mapserver...</h5>
</div>
<!-- libraries -->
<script src="js/lib/mithril.min.js"></script>
<script src="js/lib/leaflet.js"></script>
<script src="js/lib/leaflet.awesome-markers.js"></script>
<script src="js/lib/moment.min.js"></script>
<!-- bootstrap script -->
<script>
function dev_fallback(){
var s = document.createElement("script");
s.setAttribute("src", "js/main.js");
s.setAttribute("type", "module");
document.body.appendChild(s);
};
</script>
<script src="js/bundle.js" onerror="dev_fallback()"></script>
</body>
</html>