Also, if you replace the small square logo with the
osmocom logo, that
logo ends up overlapping the entire menu bar. So even the 'gitmike'
theme is not really suited for adding a logo on the left hand side :/
Adjusting the padding works fine :
padding: 85px 0px 0px 20px;
gives
http://i.imgur.com/Uwd0EZf.png
Cheers,
Sylvain