/* --- menu items --- */
var MENU_ITEMS = [
	['Library Editor', null,
			['Overview', 'overview.htm'],
			['Specification', 'spec.htm'],
			['Screen Shots', 'screens.htm',
			],
	],
];