blob: b0c74dd20dc9e1414a44a137e861052b4bda9e56 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
<script>
document.addEventListener("DOMContentLoaded", () => {
const oldHeader = document.querySelector("table#header");
if (!oldHeader) return;
const main = oldHeader.querySelector("td.main");
const description = oldHeader.querySelector("td.sub");
if (!main) return;
const header = document.createElement("header");
const headerTop = document.createElement("div");
headerTop.className = "header-top";
const logoLink = document.createElement("a");
logoLink.className = "header-logo-link";
logoLink.href = "/";
const headerInfo = document.createElement("div");
headerInfo.className = "header-info";
const repo = main.querySelector("a:last-of-type");
const title = document.createElement("h1");
if (repo && repo !== main.querySelector("a:first-of-type")) {
title.textContent = repo.textContent.trim();
} else {
title.textContent = document.title; // we must be on the title page
title.className = "main-page";
}
const desc = document.createElement("p");
desc.className = "description"
desc.textContent = description?.textContent.trim() ?? "";
headerInfo.append(title, desc);
headerTop.append(logoLink, headerInfo);
header.append(headerTop);
oldHeader.replaceWith(header);
});
</script>
|
