⚡ Build Docs

bs/docs.js

@@ -2,7 +2,7 @@
 /* jshint esversion: 11,-W097, -W040, module: true, node: true, expr: true, undef: true *//* global echo, $, pipe, s, fetch, cyclicLoop */
 echo("Building static documentation files…");
 echo("Preparing…");
-import { path_target, pages as pages_registered, styles, dispatchEvent } from "../docs_src/ssr.js";
+import { path_target, pages as pages_registered, styles, dispatchEvent, t } from "../docs_src/ssr.js";
 import { createHTMl } from "./docs/jsdom.js";
 import { register } from "../jsdom.js";
 const pkg= s.cat("package.json").xargs(JSON.parse);

docs/global.css

@@ -145,16 +145,14 @@ main > *{
 	--shiki-token-punctuation: var(--code);
 	--shiki-token-link: #EE0000;
 	white-space: pre;
-	
-	tab-size: 2;
+	tab-size: 2; /* TODO: allow custom tab size?! */
 	overflow: scroll;
 }
 .code[data-js=todo]{
 	border: 1px solid var(--border);
 	border-radius: var(--standard-border-radius);
 	margin-bottom: 1rem;
-	
-	margin-top: 18.4px;
+	margin-top: 18.4px; /* to fix shift when → dataJS=done */
 	padding: 1rem 1.4rem;
 }
 .example{