changeset 1788:6539555f00b0

Simple initial prototype HTML page for the search.
author Matti Hamalainen <ccr@tnsp.org>
date Sun, 29 Oct 2017 05:18:21 +0200
parents ccf488dac4c2
children 513c467f3a87
files www/search.html
diffstat 1 files changed, 86 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/www/search.html	Sun Oct 29 05:18:21 2017 +0200
@@ -0,0 +1,86 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <title>Map search</title>
+  <script type="text/javascript" src="search.js"></script>
+  <style type="text/css">
+    #error {
+      font-size: 2em;
+      text-align: center;
+    }
+
+    h1 {
+      font-size: 1em;
+    }
+
+    h2 {
+      font-size: 0.75em;
+    }
+
+    #searchBox, #resultsBox {
+      background: #eee;
+      display: inline-block;
+      vertical-align: top;
+      width: 35%;
+      border-radius: 0.5em;
+      padding: 0.5em;
+    }
+    
+    #resultsBox {
+      width: 60%;
+      height: 100%;
+      margin: auto;
+    }
+    
+    #controls {
+      text-align: right;
+      padding: 0.5em;
+    }
+  </style>
+</head>
+<body onload="mapInitSearch()">
+
+<h1>Map search</h1>
+
+<noscript>
+  <div id="error">
+  This page requires JavaScript to be enabled to work.
+  </div>
+</noscript>
+
+<div id="searchBox">
+  <h2>Search pattern</h2>
+<textarea id="pattern" cols="30" rows="15">
+hhvv/vv^^^^^^^^^^^^^^
+ffv/vv^^^^^^^^^^^^^^^
+fv/v^^^^^^^^^^^^^^^^!
+-+^^^^^^^^^^^^^^^^^!!
+y^^^^^^^^^^^^^^^^!!!^
+^^^^^^^^v^^^^^^^!!HHH
+^^^^^^^^vv*^^^^^^!^^f
+^^^^^^^^^vv^^^^^^^^^H
+^^^^^^^^^^^^^^^^^^^HH
+^^^^^^^^^^^^^^^^^^HHr
+^^^^^^^^^^^^hh^^^^HH^
+^^^^^^^^^^^hh^^^^^HH^
+^^^^^^^^^hhhhvvvvHH^R
+</textarea>
+  <div id="controls">
+    <button id="btnClear" type="button">Clear</button> 
+    <button id="btnSearch" type="button">Search</button> 
+  </div>
+</div>
+
+<div id="resultsBox">
+  <h2>Results</h2>
+  <div id="results"></div>
+</div>
+
+<div id="logBox">
+  <h2>Log</h2>
+  <div id="log"></div>
+</div>
+
+</body>
+</html>