diff options
| -rwxr-xr-x | search_cgi | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -22,13 +22,13 @@ print_head(){ echo "body{padding: 20px; margin: 40px auto;line-height: 1.6;font-size: 18px; color:#444;}" echo "</style></head>" echo "<body><div>Search for: </div><form method='GET' action='/cgi-bin/search_cgi'>" - echo "<div><input type='text' name='query' autofocus></input></div>" - echo "<div>in: <input type='radio' name='type' id="type_url" value='url' checked><label for="type_url">url</label></input>" - echo "<input type='radio' name='type' id="type_descr" value='descr'><label for="type_descr">description</label></input>" - echo "<input type='radio' name='type' id="type_readme" value='read'><label for="type_readme">readme</label></input>" - echo "<input type='radio' name='type' id="type_all" value='all'><label for="type_all">all</label></input>" + echo "<div><input type='text' name='query' autofocus /></div>" + echo "<div>in: <input type='radio' name='type' id="type_url" value='url' checked><label for="type_url">url</label>" + echo "<input type='radio' name='type' id="type_descr" value='descr' /><label for="type_descr">description</label>" + echo "<input type='radio' name='type' id="type_readme" value='read' /><label for="type_readme">readme</label>" + echo "<input type='radio' name='type' id="type_all" value='all' /><label for="type_all">all</label>" echo "</div>" - echo "<input type='submit' value='Search!'></input>" + echo "<input type='submit' value='Search!' />" echo "</form>" } |