<!DOCTYPE html> <html> <head> <title>LinuxWorks Minetest Map</title> <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> </head> <body style="position: absolute; padding: 0px; margin: 0px; width:100%; height:100%;"> <table id="windowtable" style="border-spacing:0;border:0;height:100%;width:100%;"><tr id="windowtr"> <td style="padding:0;margin:0;height:100%"> <div id="mapid" style="padding:0;margin:0;width: 100%; height: 100%;"></div> </td> </tr></table> <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+ */ } </style> <script src="mapscript.js"></script> <script src="streeteditor.js"></script> </body> </html>