Opera has announced MAMA, a new search engine that indexes the actual markup and styling information of a web page:

MAMA is a structural Web-page search engine—it trawls Web pages and returns results detailing page structures, including what HTML, CSS, and script is used on it, as well as whether the HTML validates.