// Font replacement
function replaceElement(elId,newHTML) { try { document.getElementById(elId).innerHTML = newHTML; }	catch (e) {} }

replaceElement("logo-top","<img src='assets/logo-top.gif' alt='Starline' />");
replaceElement("header-a","<img src='assets/header-a.gif' alt='About Starline' />");
replaceElement("header-b","<img src='assets/header-b.gif' alt='How to find us' />");
replaceElement("header-c","<img src='assets/header-c.gif' alt='Get in touch' />");