// JavaScript Document

//colouring id//
function changeColormenu(id) {
        if (document.getElementById) document.getElementById(id).style.color = '#a3bed3';}