<!--

// menuSettings = [border_size, menu_width, border_color, link_width, link_low_color, // link_high_color, link_align, header_bg_color, font_size, font_face, menu_type]
// addLink(link_name, the_link, link_target)
// addHeader(header_name)

menuSettings = ["1", "159", "#000080", "0", "#FFFF95", "#83DBFF", "left", "#000080", "2", "verdana", "#000080", "vertical"]

beginLight()
addHeader("<font color=#FFFFFF><b>Menu</b></font>")
addLink("Home", "index_english.php3");
addLink("Guestbook", "guestbook.php3");
addLink("Links", "links.php3?language=english");
addLink("News", "news.php3");
addLink("Who\'s who", "whoswho.php3?action=3");
addLink("Search", "zoeken.php3?action=4");
addHeader("<font color=#FFFFFF><b>Other languages</b></font>")
addLink("Dutch","index.php")
endLight()

//-->