From b2bbd7b18a25ac0f63b7ffdfbf391df836887e66 Mon Sep 17 00:00:00 2001
From: Mischa Untaga <99098079+MischaU8@users.noreply.github.com>
Date: Fri, 22 Sep 2023 20:15:25 +0200
Subject: logging

---
 play.js | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/play.js b/play.js
index eb8e151..1d8e41f 100644
--- a/play.js
+++ b/play.js
@@ -149,17 +149,17 @@ function on_update() {
 
 function on_log(text) {
 	let p = document.createElement("div")
-	if (text.match(/^\.r /)) {
-		text = text.substring(3)
-		p.className = 'h1 r'
+	if (text.match(/^\.h1/)) {
+		text = text.substring(4)
+		p.className = 'h1'
 	}
-	else if (text.match(/^\.b /)) {
-		text = text.substring(3)
-		p.className = 'h1 b'
+	else if (text.match(/^\.h2/)) {
+		text = text.substring(4)
+		p.className = 'h2'
 	}
-	else if (text.match(/^\.x /)) {
-		text = text.substring(3)
-		p.className = 'h1 x'
+	else if (text.match(/^\.h3/)) {
+		text = text.substring(4)
+		p.className = 'h3'
 	}
 
 	p.innerHTML = text
-- 
cgit v1.2.3