view www/search.html @ 1791:6ee732cab6ae

Minor CSS changes for the search test page.
author Matti Hamalainen <ccr@tnsp.org>
date Sun, 29 Oct 2017 17:18:56 +0200
parents 6539555f00b0
children e65dde84a6a8
line wrap: on
line source

<!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;
      color: red;
      background: black;
      padding: 1em;
    }

    h1 {
      font-size: 1.3em;
      margin: 0.2em;
    }

    h2 {
      font-size: 0.75em;
      margin: 0.2em;
    }

    #searchBox, #resultsBox {
      background: #eee;
      display: inline-block;
      vertical-align: top;
      width: 35%;
      border-radius:0.3em;
      padding: 0.5em;
    }
    
    #resultsBox {
      width: 60%;
      height: 100%;
      margin: auto;
    }
    
    #logBox {
       display: inline-block;
       vertical-align: top;
       padding: 0.5em;
       margin-top: 0.5em;
    }
    
    #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>