mongodb/docs — pull request #1338 by rawfalafel (2013-10-28 14:51:21+00:00)
Title: Layout redesign

See https://github.com/mongodb/docs-tools/pull/16