{{!
	See @typedef MenuDefinition
}}
{{! `role` is unnecessary but kept to support selectors in any gadgets or user styles. }}
<!-- Please do not use role attribute as CSS selector, it is deprecated. -->
<nav id="{{id}}" {{#class}}class="{{.}}"{{/class}} aria-labelledby="{{label-id}}" role="navigation" {{{html-tooltip}}}
	 {{{html-userlangattributes}}}>
	{{#is-dropdown}}
	<input type="checkbox" class="vector-menu-checkbox vectorMenuCheckbox" aria-labelledby="{{label-id}}" />
	{{/is-dropdown}}
	<h3 id="{{label-id}}">
		<span>{{label}}</span>
	</h3>
	{{! `body` class for backwards compatibility but let editors know not to use
	 it via HTML comment below: }}
	<!-- Please do not use the .body class, it is deprecated. -->
	<div class="body vector-menu-content">
		<!-- Please do not use the .menu class, it is deprecated. -->
		<ul class="{{list-classes}}">{{{html-items}}}</ul>
		{{{html-after-portal}}}
	</div>
</nav>
{{! Note: html-hook-vector-after-toolbox is deprecated. }}
{{{html-hook-vector-after-toolbox}}}
