diff --git a/htroot/DetailedSearch.html b/htroot/DetailedSearch.html index a72e607a3..93e041bc3 100644 --- a/htroot/DetailedSearch.html +++ b/htroot/DetailedSearch.html @@ -21,6 +21,12 @@ } document.write(n); } + function checkerline(descr, tag, dflt) { + document.write("