From 89f8e2a79ac8bb2825b3ba0b056742ff52340d02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20Fabian=20Kr=C3=BCger?= <tex@2krueger.de>
Date: Tue, 19 Dec 2023 21:35:33 +0100
Subject: [PATCH] Fix units for height and width in mspace

---
 luamml-convert.lua | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/luamml-convert.lua b/luamml-convert.lua
index b67cf12..006f048 100644
--- a/luamml-convert.lua
+++ b/luamml-convert.lua
@@ -462,13 +462,13 @@ local function rule_to_table(rule, sub, cur_style)
   if height == running_length then
     height = '0.8em'
   else
-    height = height
+    height = string.format("%.3fpt", height/65781.76)
   end
   local depth = rule.depth
   if depth == running_length then
     depth = '0.2em'
   else
-    depth = depth
+    depth = string.format("%.3fpt", depth/65781.76)
   end
   return {[0] = 'mspace', mathbackground = 'currentColor', width = width, height = height, depth = depth}, space_like
 end