The Google search box on the VDT web page is provided through Google's Public Search Search. Because we are affiliated with an educational institution, we can use this service for free. Google lets us customize the page.
To edit the search, you need a login and password. The login is Alain Roy's email address, and he knows the password. Ask him about it.
Note that our submit form has an extra field to allow us to search a subset of www.cs.wisc.edu so we just search the VDT web pages. To do this, we add:
<input type=hidden name=hq value="inurl:vdt.cs.wisc.edu">