diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9c1fb831..baeb70a7 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -183,7 +183,7 @@ jobs:
missing=0
for page in dir/overview.html dir/ru/overview.html dir/appendcolumns.html; do
- for marker in 'rel="canonical"' 'asu-fab' 'asu-language-open' 'SoftwareSourceCode'; do
+ for marker in 'rel="canonical"' 'asu-languages' 'asu-ai-notice' 'SoftwareSourceCode'; do
if ! grep -qF "$marker" "$page"; then
echo "::error::${page} is missing ${marker}"
missing=1
diff --git a/docs/writerside-de/search.html b/docs/writerside-de/search.html
deleted file mode 100644
index 3cf9da14..00000000
--- a/docs/writerside-de/search.html
+++ /dev/null
@@ -1,635 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
Tippen, um zu suchen.
-
-
-
-
-
-
Saisissez votre recherche.
-
-
-
-
-
-
Начните вводить запрос.
-
-
-
-
-
-
Почніть вводити запит.
-
-
-
' +
- highlight(snippetOf(entry, terms), terms) +
- "
";
-
- item.appendChild(link);
- list.appendChild(item);
- });
- }
-
- function search() {
- var query = input.value.trim().toLowerCase();
-
- if (!query) {
- hits = [];
- list.innerHTML = "";
- status.textContent = strings.hint;
-
- return;
- }
-
- load().then(function () {
- var terms = query.split(/\s+/).filter(Boolean);
-
- hits = (index || [])
- .map(function (entry) {
- return { entry: entry, score: score(entry, terms) };
- })
- .filter(function (row) {
- return row.score > 0;
- })
- .sort(function (a, b) {
- return b.score - a.score;
- })
- .slice(0, 25)
- .map(function (row) {
- return row.entry;
- });
-
- cursor = 0;
- status.textContent = hits.length
- ? hits.length + " " + strings.matches
- : strings.empty + " “" + query + "”";
-
- render(terms);
- });
- }
-
- function show() {
- dialog.setAttribute("open", "");
- input.value = "";
- input.focus();
- status.textContent = strings.hint;
- list.innerHTML = "";
- load();
- }
-
- function hide() {
- dialog.removeAttribute("open");
- }
-
- function move(step) {
- if (hits.length === 0) {
- return;
- }
-
- cursor = (cursor + step + hits.length) % hits.length;
-
- Array.prototype.forEach.call(list.children, function (item, position) {
- item.setAttribute("aria-selected", position === cursor ? "true" : "false");
- });
-
- var selected = list.children[cursor];
-
- if (selected) {
- selected.scrollIntoView({ block: "nearest" });
- }
- }
-
- /**
- * The header is drawn by the help application after the page loads, so the
- * two controls wait for it and then sit beside the theme switcher, wearing
- * its own classes. Until it appears — or if it never does — they stay the
- * floating pair they were.
- */
- function mountInHeader() {
- var switchers = document.querySelector(".wh-header__switchers");
-
- if (!switchers || switchers.contains(languageButton)) {
- return Boolean(switchers);
- }
-
- var theme = switchers.querySelector('[data-test="theme-switcher"]');
-
- if (!theme) {
- return false;
- }
-
- [open, languageButton].forEach(function (button) {
- button.className = theme.className;
- button.classList.add("asu-in-header");
- });
-
- switchers.insertBefore(open, theme);
- switchers.insertBefore(languageButton, theme);
-
- return true;
- }
-
- if (!mountInHeader()) {
- var watcher = new MutationObserver(function () {
- if (mountInHeader()) {
- watcher.disconnect();
- }
- });
-
- watcher.observe(document.body, { childList: true, subtree: true });
-
- // A header that has not arrived within a few seconds is not coming.
- window.setTimeout(function () {
- watcher.disconnect();
- }, 8000);
- }
-
- /**
- * The menu hangs under its button wherever the button ended up.
- */
- function placeMenu() {
- var rect = languageButton.getBoundingClientRect();
-
- if (!languageButton.classList.contains("asu-in-header")) {
- languageMenu.style.top = "";
- languageMenu.style.right = "";
-
- return;
- }
-
- languageMenu.style.top = rect.bottom + 8 + "px";
- languageMenu.style.right = Math.max(8, window.innerWidth - rect.right) + "px";
- }
-
- languageButton.addEventListener("click", function () {
- var opened = languageMenu.hasAttribute("open");
-
- if (opened) {
- languageMenu.removeAttribute("open");
- } else {
- placeMenu();
- languageMenu.setAttribute("open", "");
- }
-
- languageButton.setAttribute("aria-expanded", String(!opened));
- });
-
- window.addEventListener("resize", function () {
- if (languageMenu.hasAttribute("open")) {
- placeMenu();
- }
- });
-
- document.addEventListener("click", function (event) {
- if (!languageMenu.contains(event.target) && event.target !== languageButton) {
- languageMenu.removeAttribute("open");
- languageButton.setAttribute("aria-expanded", "false");
- }
- });
-
- open.addEventListener("click", show);
- input.addEventListener("input", search);
-
- dialog.addEventListener("click", function (event) {
- if (!panel.contains(event.target)) {
- hide();
- }
- });
-
- document.addEventListener("keydown", function (event) {
- var typing = /^(INPUT|TEXTAREA|SELECT)$/.test(document.activeElement.tagName);
-
- if (!dialog.hasAttribute("open")) {
- var shortcut =
- (event.key === "/" && !typing) || ((event.metaKey || event.ctrlKey) && event.key === "k");
-
- if (shortcut) {
- event.preventDefault();
- show();
- }
-
- return;
- }
-
- if (event.key === "Escape") {
- hide();
- } else if (event.key === "ArrowDown") {
- event.preventDefault();
- move(1);
- } else if (event.key === "ArrowUp") {
- event.preventDefault();
- move(-1);
- } else if (event.key === "Enter" && hits[cursor]) {
- event.preventDefault();
- window.location.href = base() + hits[cursor].url;
- }
- });
-})();
diff --git a/scripts/docs/finalize-site.mjs b/scripts/docs/finalize-site.mjs
index 03101c31..41da0608 100644
--- a/scripts/docs/finalize-site.mjs
+++ b/scripts/docs/finalize-site.mjs
@@ -75,15 +75,28 @@ function urlOf(language, page) {
* or the language switcher — so the same files are put in here instead.
*/
function injections(language) {
- const read = (name) => {
- try {
- return readFileSync(join(ROOT, language.root, name), "utf8").trim();
- } catch {
- return "";
- }
- };
+ try {
+ return { head: readFileSync(join(ROOT, language.root, "head.html"), "utf8").trim() };
+ } catch {
+ return { head: "" };
+ }
+}
- return { head: read("head.html"), body: read("search.html") };
+/**
+ * The same page in the other languages, as a row of links.
+ *
+ * It goes at the top of the article, which puts it directly under the
+ * breadcrumbs, and it is plain HTML: a reader with no JavaScript, and a crawler
+ * that runs none, both still see every translation.
+ */
+function languageRow(language, page, present) {
+ const links = present.map((other) =>
+ other === language
+ ? `${other.name}`
+ : `${other.name}`
+ );
+
+ return ``;
}
const pages = pagesOf(root);
@@ -147,22 +160,29 @@ for (const page of pages) {
`$1${SITE}/images/banner-1280x640.jpg$2`
);
- if (injected.body && !html.includes("asu-fab")) {
- const body = html.lastIndexOf(" ");
+ // Directly under the breadcrumbs, which sit above the article.
+ if (!html.includes("asu-languages")) {
+ const article = html.match(/