Maybe I can help you a little bit further. I’m not much into codes, but manipulate them regularly.
My best guess is to go to the header.php of the pinboard theme because there is the height mentioned several times.
For the rest I’m virtually useless in this matter, I’m sorry.
