I just added a search mechanism to the website which also searches docs.osmarks.net and b.osmarks.net. The search overlay also brings a slightly new UI style (thick colored borders). I might roll this out to more things if I determine that it looks nice and doesn't compromise usability.