Make the offset of the top navigation structures independent of the logo image height. Fixes ticket #394.
Make the offset of the top navigation structures independent of the logo image
height. Fixes ticket #394.

pkdevbox/trac,pkdevbox/trac,pkdevbox/trac,pkdevbox/trac