//Fenster auf Bildschirmgröße gezogen:
function voll()
{
window.resizeTo(screen.width,screen.height); window.moveTo(0,0);	
}
//ende vollbild

function mover_e(link){link.style.color='orange';} /*Pantone Orange*/
function mout_e(link){link.style.color='#0E1B8D';} /*Pantone reflex blue*/
function mover_z(link){link.style.color='orange';} /*Pantone Orange*/
function mout_z(link){link.style.color='#0E1B8D';} /*Pantone reflex blue*/