This repository contains the HTML code for the global header included in all DokuWiki pages.
The HTML should actually be included at the bottom of a page. The CSS will then position it at the top of the page unless it is called on a mobile device, in which case it will be kept at the bottom of the page.
Ideally, the header should be automatically pulled from this repository when starting the different services to ensure that the latest version is always used. This has not been implemented yet.