2017-11-07 23:54:42 +00:00
|
|
|
const html = require('choo/html');
|
2018-02-16 20:56:53 +00:00
|
|
|
|
2018-08-03 19:24:41 +00:00
|
|
|
module.exports = function() {
|
2018-03-12 17:15:11 +00: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 20:56:53 +00:00
|
|
|
};
|
