Quick Question, header issue

Hey guy, im curious as to how i can edit the height of the header area shown in the screenshot, this is a twenty eleven theme, I tried adding “height” attribute in the CSS to #branding, to no avail.

http://tinypic.com/r/t5ra01/6

Thanks