Userscripts for Navigation

The following userscripts enhance the navigatibility of a site.

Name	Short Description	Repository
projectdoc Search Tool	Provides an interface to specify and launch queries for projectdoc documents.	projectdoc-search-tool.js

Space shortcuts