index.html
⎇
Raw
1<!doctype html>
2<html lang="en">
3<head>
4 <meta charset="utf-8">
5 <meta name="viewport" content="width=device-width, initial-scale=1">
6 <title>opentracker</title>
7 <link data-trunk rel="copy-file" href="icon.svg">
8 <link rel="icon" href="/icon.svg" type="image/svg+xml">
9 <!-- Runs before the first paint, so a stored theme does not flash the other one. -->
10 <script>const theme = localStorage.getItem("theme"); if (theme) document.documentElement.dataset.theme = theme;</script>
11 <link data-trunk rel="css" href="vendor/leaflet.css">
12 <link data-trunk rel="css" href="style.css">
13 <script data-trunk src="vendor/leaflet.js"></script>
14 <!-- The features rustc enables by default for wasm32. Trunk's bundled wasm-opt does not assume them. -->
15 <link data-trunk rel="rust" data-wasm-opt="z"
16 data-wasm-opt-params="--enable-bulk-memory --enable-nontrapping-float-to-int --enable-sign-ext --enable-mutable-globals --enable-reference-types --enable-multivalue">
17</head>
18<body></body>
19</html>
20