3 commits

Author	SHA1	Message	Date
Adam Tauber	4906ac5192	[fix] add padding to pointhi theme's navbar - closes #841	2017-01-27 13:47:19 +01:00
Noémi Ványi	d635b5fd4d	[enh] make navbar smaller	2017-01-26 23:52:00 +01:00
Adam Tauber	142cd87095	[fix] menu style in pointhi oscar theme	2016-11-02 12:26:54 +01:00