diff options
author | Marvin Borner | 2023-02-25 17:26:16 +0100 |
---|---|---|
committer | Marvin Borner | 2023-02-25 17:26:16 +0100 |
commit | 611dbfd1edf6e1d234f58a3390d2f26f0a2dba68 (patch) | |
tree | 60c7afc07387c29b5b7c470475ca5c002bc2bad0 /docs/content.js | |
parent | 9efb6b629547e3550d022f71c4c84756788cec3b (diff) |
Added font and fixed responsiveness
Diffstat (limited to 'docs/content.js')
-rw-r--r-- | docs/content.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/content.js b/docs/content.js index 4fb7a16..f107fc5 100644 --- a/docs/content.js +++ b/docs/content.js @@ -8,7 +8,7 @@ const term = t => t .replaceAll(/(\))(?!\<)/g, "<span class='right-app'>)</span>") .replaceAll("[", "<span class='left-abs'>[</span>") .replaceAll("]", "<span class='right-abs'>]</span>") - .replaceAll(/(?<![+-0-9])([0-9])/g, "<span class='index'>$1</span>") + .replaceAll(/(?<![+-\d])([0-9])/g, "<span class='index'>$1</span>") code.innerHTML = code.innerHTML .replaceAll(/^:import std\/(.*) (.*)$/gm, (_, p, s) => `<span class="com">:import</span> <a href='${fixPath(p)}.bruijn.html'>std/${p}</a> ${s}`) |