log_sep

2 files changed, 11 insertions, 0 deletions

diff --git a/play.html b/play.html
index 84eb159..cdc1db7 100644
--- a/play.html
+++ b/play.html
@@ -35,11 +35,19 @@ main { background-color: dimgray }
 #log .h1 { background-color: silver; font-weight: bold; padding-top:4px; padding-bottom:4px; margin: 8px 0; text-align: center; }
 #log .h2 { background-color: gainsboro; padding-top:2px; padding-bottom:2px; text-align: center; }
 #log .h3 { background-color: gainsboro; padding-top:2px; padding-bottom:2px; text-align: center; }
+
 #log .fln { background-color: #C1E1C1; }
 #log .gov { background-color: #BCDDFF; }
 #log .oas { background-color: black; color: whitesmoke }
 #log .both { background-image: linear-gradient(60deg, #C1E1C1, #BCDDFF); text-shadow: 0 0 4px white; }
 #log > .i { padding-left: 20px; }
+#log .hr {
+	background-color: darkgray;
+	margin: 9px 0;
+	padding: 0;
+	height: 1px;
+	min-height: 0;
+}
 
 #log .white, #log .black {
 	display: inline-block;
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