JavaScript is widely used to implement pull-down menus on the Web. See JavaScript. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction requires permission.