Shrink some of the main nav titles, putting off proper responsiveness for now

This commit is contained in:
Tony Garnock-Jones 2016-08-02 13:16:48 -04:00
parent c5acc9135b
commit 24dfa44066

View File

@ -45,7 +45,7 @@
(or (@ (config) disable-cache?)
#f))
(define nav-index "Package Index")
(define nav-index "Packages")
(define nav-search "Search")
(define (navbar-header)