// menus.js
// originally developed from code used w/php dynamic image menus, for non-php site with static images
// no longer using javascript image swapping - CSS is great.
// update 4-8-2005: using absolute URLs to permit calling from /cgi
// update 5-3-2007: drop weblog, add community, back to relative URLs

var menu_items = ["Home", "About", "Clients", "Research", "People", "Contact", "Community"];

// targets
var menu_targets = ["index.html", "company.html", "clients.html", "research.html", "people.html", "contact.html", "community.html"];

function generate_text_item(base, target) {
//	base_html = "http://www.sealrock.com/" + target; use this if we go back to cgi
	base_html = target;
	document.write('<a class="menu" href="');
	document.write(base_html);
	document.write('" id=');
	document.write(base);
	document.write('> ');
	document.write(base);
	document.write(" </a>");
}

function generate_text_menu()
{
	for (x in menu_items) {
		generate_text_item(menu_items[x], menu_targets[x]);
	}
}

function generate_info_address()
{
	t0 = "mai";
	t2 = "sealrock.com";
	t1 = "lto:info@";
	t3 = "\">";
	v1 = "info@";
	document.write("<a href=\"");
	document.write(t0);
	document.write(t1);
	document.write(t2);
	document.write(t3);
	document.write(v1);
	document.write(t2);
	document.write("</a>");
}