codesearch.html is formatted a bit better