rudimentary mining support

mining.html

@@ -0,0 +1,22 @@
+<html>
+<head>
+<meta charset="utf-8"/>
+<title>Text Grabber</title>
+<style>
+body
+{
+    background-color: #111;
+    color: #CCC;
+    font-family: Verdana, Arial, IPAGothic, TakaoGothic, Noto Sans CJK JP Regular, Meiryo, sans-serif;
+    font-size: 1em;
+}
+</style>
+<script src="mining.js" charset="UTF-8"></script>
+</head>
+
+<body lang="ja">
+<input type=button id=reset value="Reset"/>
+<textarea id="field" style="width:100%; height:100%;"></textarea>
+</body>
+
+</html>