2017-11-08 00:54:42 +01:00
|
|
|
const html = require('choo/html');
|
2018-02-16 21:56:53 +01:00
|
|
|
|
2018-08-03 21:24:41 +02:00
|
|
|
module.exports = function() {
|
2018-03-12 18:15:11 +01:00
|
|
|
const header = html`
|
|
|
|
<header class="header">
|
|
|
|
</header>`;
|
|
|
|
// HACK
|
|
|
|
// We only want to render this once because we
|
|
|
|
// toggle the targets of the links with utils/openLinksInNewTab
|
|
|
|
header.isSameNode = function(target) {
|
|
|
|
return target && target.nodeName && target.nodeName === 'HEADER';
|
|
|
|
};
|
|
|
|
return header;
|
2018-02-16 21:56:53 +01:00
|
|
|
};
|