mondo: change default markcss

2026-07-21 20:55:12 -04:00 · 2025-03-20 09:10:45 +01:00
parent 65a7b3030e
commit 3657e2fd65
1 changed files with 1 additions and 1 deletions
@@ -38,7 +38,7 @@ export function mondo(code, offset = 0) {
    code = code.join('');
  }
  const pat = runner.run(code, offset);
-  return pat;
+  return pat.markcss('color: var(--foreground);text-decoration:underline');
 }

 // tell transpiler how to get locations for mondo`` calls