···66// and connect the other bits to it.
778899-const app = Elm.UI.init({
99+var app = Elm.UI.init({
1010 node: document.getElementById("elm"),
1111 flags: {
1212 initialTime: Date.now(),
+31-10
src/Static/Html/Application.html
···44444545 -->
4646 <noscript>
4747- <div class="f5 fixed fw6 lh-copy tc w-90 white" style="
4848- left: 50%;
4949- top: 50%;
5050-5151- -webkit-transform: translate(-50%, -50%);
5252- transform: translate(-50%, -50%);
5353-5454- font-family: 'Source Sans Pro', sans-serif;
5555- ">
4747+ <div
4848+ class="f4 flex items-center i justify-center lh-copy ph3 min-vh-100 white-90"
4949+ style="font-family: 'Source Sans Pro', sans-serif;"
5050+ >
5651 <p>
5757- Damn it, this application needs Javascript in order to operate.
5252+ Damn it, I need some Javascript for this thing.
5853 </p>
5954 </div>
6055 </noscript>
···8883 <script>
8984 if ("serviceWorker" in navigator) {
9085 navigator.serviceWorker.register("service-worker.js")
8686+ }
8787+ </script>
8888+8989+ <!--
9090+9191+ YE OLDEN BROWSER
9292+ ================
9393+9494+ This `if` condition will be run for older browsers.
9595+9696+ -->
9797+ <script>
9898+ if (!window.app || !window.context) {
9999+ // Add note
100100+ const note = document.createElement("div")
101101+102102+ note.className = "f4 flex items-center i justify-center lh-copy ph3 min-vh-100 white-90"
103103+ note.style.fontFamily = "\"Source Sans Pro\", sans-serif"
104104+ note.innerHTML = "<p>Damn it, I need a modern browser for this thing.</p>"
105105+106106+ document.body.appendChild(note)
107107+108108+ // Remove loader
109109+ const elm = document.querySelector("#elm")
110110+111111+ elm.parentNode.removeChild(elm)
91112 }
92113 </script>
93114