HTML-Sourcecode Question / Inline definitions

Hello

We want to edit the Header (mastHead) of the vibe (it shout be higher than the default configuration). In wich file are the definitions of the "gwtMainPageDiv" or rather the inline-definitions of the "mastHead" saved? We can't find it in any file.

Thanks and best regards