Highlight current page in sidebar nav, normalize code font size

Inject a small script via the SEO plugin that marks the active sidebar
link with a "current" class (TypeDoc doesn't do this natively for
document pages). Uses a MutationObserver since the sidebar is populated
asynchronously. Pathname comparison strips .html extensions to support
clean-URL servers.

Also bumps code/pre font-size from 0.85em to 1em so code snippets match
the surrounding body text size.

Author: localden

docs/mcp-theme.css

@@ -174,7 +174,7 @@ body {
 code,
 pre {
 	font-family: var(--font-family-code);
-	font-size: 0.85em;
+	font-size: 1em;
 }
 
 .tsd-typography pre {
@@ -185,5 +185,5 @@ pre {
 /* Inline code */
 .tsd-typography code:not(pre code) {
 	padding: 0.15em 0.35em;
-	font-size: 0.875em;
+	font-size: 1em;
 }

scripts/typedoc-plugin-seo.mjs

@@ -189,6 +189,18 @@ export function load(app) {
       "</head>",
       headInjections + "\n</head>",
     );
+
+    // Inject script to mark the current sidebar nav link with a "current" class.
+    // TypeDoc does not natively add this class for document pages.
+    // The sidebar is populated asynchronously from compressed navigation data,
+    // so we use a MutationObserver to detect when links appear.
+    // Pathname comparison strips trailing slashes and .html extensions to handle
+    // servers with clean-URL mode (e.g. `serve` drops .html).
+    const currentNavScript = `<script>(function(){function norm(s){return s.replace(/\\/$/,"").replace(/\\.html$/,"");}function mark(){var p=norm(location.pathname);var links=document.querySelectorAll(".site-menu .tsd-navigation a[href]");for(var i=0;i<links.length;i++){var h=norm(new URL(links[i].href,location.href).pathname);if(h===p){links[i].classList.add("current");return true;}}return false;}function init(){if(!mark()){var c=document.getElementById("tsd-nav-container");if(c){new MutationObserver(function(m,o){if(mark())o.disconnect();}).observe(c,{childList:true,subtree:true});}}}if(document.readyState==="loading"){document.addEventListener("DOMContentLoaded",init);}else{init();}})();</script>`;
+    page.contents = page.contents.replace(
+      "</body>",
+      currentNavScript + "\n</body>",
+    );
   });
 
   // --- Post-render: copy favicons + rename document slugs ---