Added HTML doc support

Same search URL as JS docs, because that is still the best documentation for HTML and DOM around.