1 files changed, 4 insertions, 0 deletions
diff --git a/play.js b/play.js
index 53463dd..22ae8a2 100644
--- a/play.js
+++ b/play.js
@@ -1485,6 +1485,10 @@ function on_log(text) {
 		else if (ix >= 48 && ix <= 49) p.className = "h1 mi"
 		else p.className = "h1"
 	}
+	else if (text.match(/^\.h1 /)) {
+		text = text.substring(4)
+		p.className = "h1"
+	}
 	else if (text.match(/^\.h2 Sultanate/)) {
 		text = text.substring(4)
 		p.className = "h2 ds"