function mastHeadHilight(element) {
  element.style.cssText = '2em; color: black; background: #AAAAAA';
}

function mastHeadNormal(element) {
  element.style.cssText = 'color: maroon; background: #CCCCCC';
}

function bodyHilight(element) {
  element.style.cssText = '2em; color: black; background: white; text-decoration: underline';
}

function bodyNormal(element) {
  element.style.cssText = 'color: maroon; background: white; text-decoration: normal';
}

function goPage(name) {
  var url = "./" + name + ".html"
	location.replace(url)
}

function goUpPage(name) {
  var url = "../" + name + ".html"
	location.replace(url)
}