From 3cb0fc17133ecc08fa4535283d9ef6c50914fd0c Mon Sep 17 00:00:00 2001
From: rycee <rycee@users.noreply.github.com>
Date: Sun, 22 Dec 2024 18:55:35 +0000
Subject: [PATCH] deploy: 1f74238a4c8e534a1b6be72cb5153043071ffd17

---
 options.xhtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/options.xhtml b/options.xhtml
index 7b8362ff6..f6de2a329 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -87305,7 +87305,7 @@ If this and all other xresources options are
 <code class="filename">~/.Xresources</code> link is produced.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-null or (attribute set of (boolean or signed integer or string or list of (boolean or signed integer or string)))</p>
+null or (attribute set of (boolean or signed integer or floating point number or string or list of (boolean or signed integer or floating point number or string)))</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">null</code></p>