2020-01-09 10:59:09 +00:00
|
|
|
{{!
|
2020-05-06 00:00:56 +00:00
|
|
|
See @typedef MenuDefinition
|
2020-01-09 10:59:09 +00:00
|
|
|
}}
|
2020-05-13 22:46:23 +00:00
|
|
|
{{! `role` is unnecessary but kept to support selectors in any gadgets or user styles. }}
|
2020-09-04 19:34:05 +00:00
|
|
|
<nav id="{{id}}" {{#class}}class="{{.}}"{{/class}} aria-labelledby="{{id}}-label" role="navigation" {{{html-tooltip}}}
|
2020-07-14 21:40:28 +00:00
|
|
|
{{{html-user-language-attributes}}}>
|
2020-05-06 00:00:56 +00:00
|
|
|
{{#is-dropdown}}
|
2020-09-04 19:34:05 +00:00
|
|
|
<input type="checkbox" class="vector-menu-checkbox" aria-labelledby="{{id}}-label" />
|
2020-04-16 18:40:39 +00:00
|
|
|
{{/is-dropdown}}
|
2021-02-04 02:23:19 +00:00
|
|
|
<h3 id="{{id}}-label" {{#heading-class}}class="{{.}}"{{/heading-class}}>
|
2020-05-06 00:00:56 +00:00
|
|
|
<span>{{label}}</span>
|
|
|
|
</h3>
|
2020-09-04 19:34:05 +00:00
|
|
|
<div class="vector-menu-content">
|
|
|
|
<ul class="vector-menu-content-list">{{{html-items}}}</ul>
|
2020-04-07 23:21:20 +00:00
|
|
|
{{{html-after-portal}}}
|
|
|
|
</div>
|
2020-05-13 22:46:23 +00:00
|
|
|
</nav>
|