From fa0b3a04df8d75ae8ef7c26ad5a746b0acbbe885 Mon Sep 17 00:00:00 2001 From: Cody Glassman Date: Wed, 18 Jun 2025 10:29:05 -0700 Subject: [PATCH] docs - change theme for luadoc monospace to match theme --- docs/source/_static/luadoc.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/_static/luadoc.css b/docs/source/_static/luadoc.css index f7fc66a550..92fb924dfa 100644 --- a/docs/source/_static/luadoc.css +++ b/docs/source/_static/luadoc.css @@ -1,5 +1,5 @@ #luadoc code, #luadoc tt, #luadoc p em { - font-family: monospace; + font-family: 'JetBrains Mono', monospace; } #luadoc pre.example {