[enh] make navbar smaller

This commit is contained in:
Noémi Ványi 2017-01-26 21:28:31 +01:00 committed by Noémi Ványi
parent f0a72e3aa2
commit d635b5fd4d
5 changed files with 48 additions and 120 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long