From 03e292f57b1a1ddd66fa6fc18d238e343f8636d2 Mon Sep 17 00:00:00 2001
From: Rohan Kumar <seirdy@seirdy.one>
Date: Thu, 2 Jun 2022 21:48:23 -0700
Subject: [PATCH] More whitespace fixes

---
 scripts/xhtmlize-single-file.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/xhtmlize-single-file.sh b/scripts/xhtmlize-single-file.sh
index ef12556..55ca198 100644
--- a/scripts/xhtmlize-single-file.sh
+++ b/scripts/xhtmlize-single-file.sh
@@ -31,7 +31,8 @@ sed 7d "$html_file" | xmllint --format --encode UTF-8 --noent - -o "$tmp_file"
 	tail -n +8 "$tmp_file" \
 		| sd '<pre(?: tabindex="0")?>\n\t*<code ' '<pre tabindex="0"><code ' \
 		| sd '(?:\n)?</code>\n(?:[\t\s]*)?</pre>' '</code></pre>' \
-		| sd '</span>.span itemprop="familyName"' '</span> <span itemprop="familyName"'
+		| sd '</span>.span itemprop="familyName"' '</span> <span itemprop="familyName"' \
+		| sd '([a-z])<(data|time)' '$1 <$2'
 } >>"$xhtml_file"
 
  # replace the html file with the formatted xhtml5 file, excluding the xml declaration