diff options
| author | Kyle Gunger <corechg@gmail.com> | 2020-02-27 16:15:26 -0500 |
|---|---|---|
| committer | Kyle Gunger <corechg@gmail.com> | 2020-02-27 16:15:26 -0500 |
| commit | 00c14a7cb122292d7ec87a817a9a3eb169ee37d9 (patch) | |
| tree | e58bbd30693e2147f202a921cfe540c0d20e9644 /mines/index.html | |
| parent | 06f962066c57818232cc8d59ef49e879043418df (diff) | |
Update home page font
Diffstat (limited to 'mines/index.html')
| -rw-r--r-- | mines/index.html | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/mines/index.html b/mines/index.html new file mode 100644 index 0000000..5b27806 --- /dev/null +++ b/mines/index.html @@ -0,0 +1,64 @@ +<!Doctype HTML>
+<html>
+ <head>
+ <meta charset="utf-8">
+
+ <link href="https://fonts.googleapis.com/css?family=Open+Sans" rel="stylesheet">
+ <link rel="stylesheet" type="text/css" href="./mines.css"/>
+
+ <script src="./mines.js"></script>
+ </head>
+ <body>
+ <div class="selector">
+ <label>Width: </label> <input id="x" min="4" max="50" value="6" type="number"/>
+ <br>
+ <label>Height: </label> <input id="y" min="4" value="6" type="number"/>
+ <br>
+ <label>Mines: </label> <input id="m" min="2" value="5" type="number"/>
+ <br>
+ <label>- OR -</label>
+ <br>
+ <label>Difficulty: </label>
+ <select id="d">
+ <option value="0.125">Easy</option>
+ <option value="0.15">Medium</option>
+ <option value="0.2">Hard</option>
+ <option value="0.25">Impossible</option>
+ <option value="0">Custom</option>
+ </select>
+ <br>
+ <label>- OR -</label>
+ <br>
+ <button id="save" onclick="game.save()">Save Game</button> | <label for="fin">Choose Save File</label><input id="fin" type="file" accept=".mgs"/> <button id="load" onclick="game.loadFromFile()">Load Game</button>
+ </div>
+ <br>
+ <div class="game">
+ <h1 id="mines">0</h1><button id="circle" onclick="game.reset()"></button><h1 id="time">0</h1>
+ <br>
+ <table>
+ <tbody id="gtable"><tr><td class="wt">◉</td></tr></tbody>
+ </table>
+ </div>
+ <script>
+ var xIn = document.getElementById("x");
+ var yIn = document.getElementById("y");
+ var mIn = document.getElementById("m");
+ var dIn = document.getElementById("d");
+
+ var sMines = document.getElementById("mines");
+ var sTime = document.getElementById("time");
+
+ var circle = document.getElementById("circle");
+
+ var table = document.getElementById("gtable");
+
+ var fileSel = document.getElementById("fin");
+
+ var game = new Board();
+
+ mIn.addEventListener("change", function(){
+ if(dIn.value !== "0") dIn.value = "0";
+ });
+ </script>
+ </body>
+</html>
\ No newline at end of file |