From 674846daab06be436a07892d5e99cd917477e1d7 Mon Sep 17 00:00:00 2001
From: Mischa Untaga <99098079+MischaU8@users.noreply.github.com>
Date: Wed, 25 Oct 2023 10:16:27 +0200
Subject: log_sep

---
 play.js | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'play.js')

diff --git a/play.js b/play.js
index baf1adf..84dffa9 100644
--- a/play.js
+++ b/play.js
@@ -804,6 +804,9 @@ function on_log(text) { // eslint-disable-line no-unused-vars
 	else if (text.match(/^\.h3/)) {
 		text = text.substring(4)
 		p.className = 'h3'
+	} else if (text.match(/^.hr$/)) {
+		p.className = "hr";
+		text = "";
 	}
 
 	p.innerHTML = text
-- 
cgit v1.2.3