function SetThemeColours() {

  //Dark blue theme colours:
	Lines_color = "#859EB2";              //divider and lines
	Border_color = "#13293B";             //menu overall border
	Hilight_color = "#859EB2";            //top and left shadow
	All_bg_color = "#efefe9";             //overall background (light Opus Gray)
//	All_bg_color = "#ffffff";             //overall background (white)
//	All_bg_color = "#F5F5F5";             //overall background (very light like "testimonial")

	Des_font_color = "#275376";           //deselected font colour
	Sel_font_color = "#000000";           //highlighted text

	Des_bg_color = "#ffffff";             //light background
//	Sel_bg_color = "#FFF8BF";             //highlighted background
//	Sel_bg_color = "#D6D6C6";             //highlighted background (Opus Gray)
	Sel_bg_color = "#F7D662";             //highlighted background (mid-Yellow)

}


function hilite(element)
	{ element.className = 'menubutton_on';
}
function restore(element)
	{ element.className = 'menubutton_off';
}