Setting the top banner height

Where on earth do I increase the height of the top banner? I sure hope this support site is monitored, so many more are not ??

thank you!

The page I need help with: [log in to see the link]