mozilla/kuma — pull request #1616 by darkwing (2013-11-07 18:50:39+00:00)
Title: fix bug 920971 - Change navigation search box to new spec

https://bugzilla.mozilla.org/show_bug.cgi?id=920971