From 1c28c22fb59fc5d19fa3cde63fc660ad7e479e84 Mon Sep 17 00:00:00 2001
From: wareya <wareya@gmail.com>
Date: Mon, 18 Dec 2017 03:11:27 -0500
Subject: [PATCH] polish mining page

---
 mining.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mining.html b/mining.html
index 83fbd02..f423f7a 100644
--- a/mining.html
+++ b/mining.html
@@ -1,7 +1,7 @@
 <html>
 <head>
 <meta charset="utf-8"/>
-<title>Text Grabber</title>
+<title>Mined Cards</title>
 <style>
 body
 {
@@ -15,8 +15,9 @@ body
 </head>
 
 <body lang="ja">
+<p>Tab separated values. Spelling, readings, definitions, JMdict numeric ID.</p>
 <input type=button id=reset value="Reset"/>
-<textarea id="field" style="width:100%; height:100%;"></textarea>
+<textarea id="field" style="width:100%; height:calc(100% - 70px);"></textarea>
 </body>
 
 </html>