lifo-dijkstraserv/htdocs/index.html

55 lines
2.3 KiB
HTML
Raw Permalink Normal View History

2020-04-14 18:10:19 +02:00
<!DOCTYPE html>
<html>
2020-04-17 16:14:57 +02:00
<head>
2020-04-25 18:19:39 +02:00
<title>LinuxWorks Minetest Map</title>
2020-04-17 16:14:57 +02:00
<meta charset="utf-8"/>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="fa/css/all.css">
<link rel="stylesheet" href="awesomemarkers/leaflet.awesome-markers.css">
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.6.0/dist/leaflet.css" integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ==" crossorigin=""/>
<script src="https://unpkg.com/leaflet@1.6.0/dist/leaflet.js" integrity="sha512-gZwIG9x3wUXg2hdXF6+rVkLF/0Vi9U8D2Ntg4Ga5I5BZpVkVxlJWbSQtXPSiUTtC0TjtGOmxa1AJPuV0CPthew==" crossorigin=""></script>
<script src="awesomemarkers/leaflet.awesome-markers.js"></script>
<!-- Streets -->
<script src='leafletjs/ctxtextpath.js'></script>
<script src='leafletjs/L.LabelTextCollision.js'></script>
<script src='leafletjs/Leaflet.streetlabels.js'></script>
<!-- Map Editor -->
<script src='leafletjs/Leaflet.Editable.js'></script>
2020-04-17 16:14:57 +02:00
</head>
2020-04-14 18:10:19 +02:00
<body style="position: absolute; padding: 0px; margin: 0px; width:100%; height:100%;">
2020-04-19 12:56:02 +02:00
<table id="windowtable" style="border-spacing:0;border:0;height:100%;width:100%;"><tr id="windowtr">
2020-04-19 19:02:45 +02:00
<td style="padding:0;margin:0;height:100%">
2020-04-19 12:56:02 +02:00
<div id="mapid" style="padding:0;margin:0;width: 100%; height: 100%;"></div>
</td>
</tr></table>
2020-04-17 16:14:57 +02:00
<style>
.leaflet-tooltip.city-names {
background-color: transparent;
border: transparent;
box-shadow: none;
font-weight: bold;
font-size: 14pt;
opacity: 1.0;
color: white;
text-shadow: 0px 0px 5px black;
}
a.new {
color: red;
}
.no-aa img[role=presentation] {
image-rendering: optimizeSpeed; /* STOP SMOOTHING, GIVE ME SPEED */
image-rendering: -moz-crisp-edges; /* Firefox */
image-rendering: -o-crisp-edges; /* Opera */
image-rendering: -webkit-optimize-contrast; /* Chrome (and eventually Safari) */
image-rendering: pixelated; /* Chrome */
image-rendering: optimize-contrast; /* CSS3 Proposed */
-ms-interpolation-mode: nearest-neighbor; /* IE8+ */
}
2020-04-17 16:14:57 +02:00
</style>
<script src="mapscript.js"></script>
<script src="streeteditor.js"></script>
2020-04-14 18:10:19 +02:00
</body>
</html>