Ok, I managed by myself. I hope that this can help someone else:
go to Theme Functions (functions.php)
Select theme to edit:
// Your changeable header business starts … NOW
// Set some default values
define(‘HEADER_TEXTCOLOR’, ‘D1D9DC’); // Default text color
define(‘HEADER_IMAGE_WIDTH’, 700); // Default image width is actually the div’s height
define(‘HEADER_IMAGE_HEIGHT’, 372); // Same for height
HEADER_IMAGE_WIDTH and HEADER_IMAGE_HEIGHT
is what you have to change.
happy blogging