<script> let link = document.createElement('link'); link.rel = "stylesheet"; link.href = "/css/slapos.css"; document.head.appendChild(link); link = document.createElement('link'); link.rel = "manifest"; link.href = "/theia.webmanifest"; document.head.appendChild(link); if ('serviceWorker' in navigator) { navigator.serviceWorker.register('/theia-serviceworker.js').then(function (reg) { console.log('Successfully registered service worker', reg); }).catch(function (err) { console.warn('Error whilst registering service worker', err); }); } </script>