LMFDB/lmfdb — pull request #158 by davidfarmer (2014-03-14 01:34:56+00:00)
Title: condensed navigation bar (needs more work, but is a start)

Badly written HTML, but I can clean it up if people like the general idea.