oops! My bad indeed never measured what will happen if a user change the logo height
anyways, it is just a matter of simple css solution, I just upgraded the theme file in marketplace without adding any version number, So just go ahead and re-download the theme and use "Upload a new version" method, you dont lose any customization's in theme settings or custom.css
Sorry.