import React from "react"; import "../src/index.js"; import type * as HeaderComponentTypes from "../src/index"; export interface HeaderComponentProps { /** undefined */ navoptions?: HeaderComponentTypes.Nav; /** Defines a unique identifier (ID) which must be unique in the whole document. Its purpose is to identify the element when linking (using a fragment identifier), scripting, or styling (with CSS). */ id?: string; /** A space-separated list of the classes of the element. Classes allows CSS and JavaScript to select and access specific elements via the class selectors or functions like the method `Document.getElementsByClassName()`. */ className?: string; /** Contains CSS styling declarations to be applied to the element. Note that it is recommended for styles to be defined in a separate file or files. This attribute and the