index.html (2786B)
1 <!doctype html> 2 <html lang="en"> 3 <head> 4 <title>Rageshake decoder ring</title> 5 <script crossorigin src="https://unpkg.com/source-map@0.7.3/dist/source-map.js"></script> 6 <script> 7 sourceMap.SourceMapConsumer.initialize({ 8 "lib/mappings.wasm": "https://unpkg.com/source-map@0.7.3/lib/mappings.wasm", 9 }); 10 </script> 11 <script crossorigin src="https://unpkg.com/react@16/umd/react.production.min.js"></script> 12 <script crossorigin src="https://unpkg.com/react-dom@16/umd/react-dom.production.min.js"></script> 13 <!--<script crossorigin src="https://unpkg.com/react@16/umd/react.development.js"></script> 14 <script crossorigin src="https://unpkg.com/react-dom@16/umd/react-dom.development.js"></script>--> 15 <script crossorigin src="https://unpkg.com/rxjs/dist/bundles/rxjs.umd.min.js"></script> 16 <script src="datatypes.js"></script> 17 <script src="decoder.js"></script> 18 19 <style> 20 @keyframes spin { 21 from { 22 transform: rotate(0deg); 23 } 24 to { 25 transform: rotate(359deg); 26 } 27 } 28 29 body { 30 font-family: sans-serif; 31 } 32 33 .spinner { 34 animation: spin 4s infinite linear; 35 display: inline-block; 36 text-align: center; 37 vertical-align: middle; 38 font-size: larger; 39 } 40 41 .progress { 42 padding-left: 0.5em; 43 padding-right: 0.5em; 44 } 45 46 .bundle input { 47 width: 24ex; 48 } 49 50 .valid::after { 51 content: "✓"; 52 } 53 54 label { 55 width: 3em; 56 margin-right: 1em; 57 display: inline-block; 58 } 59 60 input:valid { 61 border: 1px solid green; 62 } 63 64 .inputs > div { 65 margin-bottom: 0.5em; 66 } 67 </style> 68 </head> 69 <body> 70 <header><h2>Decoder ring</h2></header> 71 <content id="main">Waiting for javascript to run...</content> 72 <script type="text/javascript"> 73 document.addEventListener("DOMContentLoaded", () => { 74 try { 75 ReactDOM.render(React.createElement(Decoder.BundlePicker), document.getElementById("main")); 76 } catch (e) { 77 const n = document.createElement("div"); 78 n.innerText = `Error starting: ${e.message}`; 79 document.getElementById("main").appendChild(n); 80 } 81 }); 82 </script> 83 </body> 84 </html>