{{ title }}
@@ -194,8 +194,9 @@
<title>{{ title }}</title>
<!-- Pointer events polyfill for old browsers, see https://caniuse.com/#feat=pointer -->
<script src="https://unpkg.com/elm-pep"></script>
- <!-- The line below is only needed for old environments like Internet Explorer and Android 4.x -->
- <script src="https://cdn.polyfill.io/v3/polyfill.min.js?features=fetch,requestAnimationFrame,Element.prototype.classList,URL,TextDecoder,Number.isInteger"></script>{{#if extraHead.remote}}
+ <!-- The lines below are only needed for old environments like Internet Explorer and Android 4.x -->
+ <script src="https://cdn.polyfill.io/v3/polyfill.min.js?features=fetch,requestAnimationFrame,Element.prototype.classList,TextDecoder"></script>
+ <script src="https://cdnjs.cloudflare.com/ajax/libs/core-js/3.18.3/minified.js"></script>{{#if extraHead.remote}}
{{ indent extraHead.remote spaces=4 }}{{/if}}
<style>
.map {
diff --git a/site/index.html b/site/index.html
index 740bfff0d1..6f5a356e6d 100644
--- a/site/index.html
+++ b/site/index.html
@@ -7,8 +7,9 @@
-
-
+
+
+