menu_env_drop_down function

Creates a drop-down menu

Creates a drop-down menu

Arguments

  • title: name of the entry in the main menu
  • menu_description: description, displayed, if the main menu entry itself is clicked
  • ...: the sub-menu-entries
  • id: id for the entry, defaults to modified title

Returns

html div object

  • Maintainer: Stephan Struckmann
  • License: BSD_2_clause + file LICENSE
  • Last published: 2025-03-05