Hello,

The size settings for the header aren't in the header.php file, they are in the style sheet located at wp-content/themes/zidalgo-playtime/style.css. Look for the header class (line 250 #header) and change height:90px; to the height you need. You may also need to play around with some of the other header styling in the same style.css file though to make it look right after you resize it.

I hope this helps, nice job with the site.