mongodb/docs-tools — pull request #11 by rawfalafel (2013-09-12 21:16:00+00:00)
Title: Have a dedicated page for Google Custom search results

This PR includes a few misc. stylesheet tweaks that we talked about during our meeting Tuesday.