--- db/prgsrc/search.html 2001/11/26 10:31:49 1.3 +++ db/prgsrc/search.html 2001/12/10 20:37:23 1.7 @@ -7,11 +7,11 @@