It is sometimes necessary to adjust the height of the header in function of projects, skins and logotypes. It would be better to have a variable to do it without overriding the whole js code.

An improvement is proposed on encoding git repository :
[FIX] Add variable to additional height submenu