docs update

2025-11-17 02:04:30 -05:00
parent 08a25f2d29
commit db9b0ee60c
4 changed files with 198 additions and 123 deletions
--- a/docs/index.html
+++ b/docs/index.html
@@ -8,6 +8,12 @@
      rel="stylesheet"
      href="https://cdn.jsdelivr.net/npm/github-markdown-css@5/github-markdown.min.css"
    />
+    <link
+      rel="stylesheet"
+      href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/github-dark.min.css"
+    />
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/languages/lua.min.js"></script>
    <style>
      body {
        margin: 0;