Avoid capitalization on Android.

Also avoids ``#query`` id.   Plan to remove all ids, so we can make
the shell embeddable.

src/wasm/demos/shell/shell.css

@@ -112,7 +112,7 @@ body {
 .console.key         #keyboard { display : block }
 .create-file #create-file   { display: inline; }
 
-#query { flex-grow: 1; margin: 0px 10px;}
+#input input { flex-grow: 1; margin: 0px 10px;}
 
 #keyboard:focus { outline: 0px; }
 #keyboard > span { color: #888; font-style: italic; font-size: 90%; }

src/wasm/demos/shell/shell.html

@@ -60,8 +60,9 @@
 		  onclick="reply_trace('abort')">⏹</button>
 	</div>
 	<div id="input">
-	<span class="prompt">?- </span><input type="text" name="query"
-					      id="query" autocomplete="off">
+	  <span class="prompt">?- </span><input type="text" name="query"
+						autocapitalize="none"
+						autocomplete="off">
 	</div>
 	<form class="abort" id="abort">
 	  <button>Abort</button>

src/wasm/demos/shell/shell.js

@@ -303,7 +303,7 @@ function add_query(query)
   div2.textContent = `?- ${query}`;
   answer = div4;
   edit.addEventListener("click", () => {
-    const queryElem = input.querySelector("#query");
+    const queryElem = input.querySelector("input");
     queryElem.value = query;
     queryElem.focus();
   });
@@ -362,7 +362,7 @@ function query(query)
 		 *******************************/
 
 function submitQuery(queryElem)
-{ const input = queryElem.querySelector("#query");
+{ const input = queryElem.querySelector("input");
   let query = input.value;
   input.value = '';
 
@@ -383,7 +383,7 @@ function submitQuery(queryElem)
 }
 
 function focusInput(queryElem, why)
-{ const input  = queryElem.querySelector("#query");
+{ const input  = queryElem.querySelector("input");
   const prompt = queryElem.querySelector("span.prompt");
   switch(why)
   { case "query":
@@ -402,7 +402,7 @@ function focusInput(queryElem, why)
 
 input.addEventListener("keydown", (event) =>
 { if ( event.key == "Tab" )
-  { const elem   = input.querySelector("#query");
+  { const elem   = input.querySelector("input");
     const caret  = elem.selectionStart;
     const all    = elem.value;
     const before = all.slice(0,caret);