// JavaScript Document
function head_menu(colour) {
  var border = document.getElementById('head_top_menu')
  border.style.borderBottomColor=colour;
}