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, 0 insertions, 64 deletions
diff --git a/Mines/index.html b/Mines/index.html deleted file mode 100644 index 5b27806..0000000 --- a/Mines/index.html +++ /dev/null @@ -1,64 +0,0 @@ -<!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 |