Menu:

How to use the header:

The header is coded as a web component. The HTML is meant to be hand-edited, particularly to suit the links needed for a given nav structure. It is wrapped in a <wpt-header></wpt-header>.

The header has two external dependencies: