Add Mkdocs API site (#8133)

* Add MkDocs API site
2025-08-01 17:38:41 +00:00 · 2019-04-12 08:29:29 -04:00 · 2019-04-12 08:29:29 -04:00 · bb7afd306a
commit bb7afd306a
parent 22ad820aa4
9 changed files with 192 additions and 5 deletions
--- a/doc/mkdocs/lua_highlight.patch
+++ b/doc/mkdocs/lua_highlight.patch
@ -0,0 +1,9 @@
+@@ -77,7 +77,7 @@
+                  css_class="codehilite", lang=None, style='default',
+                  noclasses=False, tab_length=4, hl_lines=None, use_pygments=True):
+         self.src = src
+-        self.lang = lang
+        self.lang = "lua"
+         self.linenums = linenums
+         self.guess_lang = guess_lang
+         self.css_class = css_class