summaryrefslogtreecommitdiff
path: root/play.js
diff options
context:
space:
mode:
Diffstat (limited to 'play.js')
-rw-r--r--play.js9
1 files changed, 7 insertions, 2 deletions
diff --git a/play.js b/play.js
index 44a9afc..73ec4b8 100644
--- a/play.js
+++ b/play.js
@@ -1298,6 +1298,7 @@ function sub_space(match, p1) {
function on_log(text) {
let p = document.createElement("div")
+ let sub_text = ""
if (text.match(/^>/)) {
text = text.substring(1)
@@ -1312,11 +1313,15 @@ function on_log(text) {
text = text.substring(19)
p.className = "h1 mi"
}
+ else if (text.match(/^\.h1 succ/)) {
+ sub_text = text.substring(4, 9)
+ text = text.substring(10)
+ p.className = "h1 " + sub_text
+ }
else if (text.match(/^\.h1/)) {
text = text.substring(4)
p.className = "h1"
- }
- else if (text.match(/^\.h2 Delhi Sultanate/)) {
+ } else if (text.match(/^\.h2 Delhi Sultanate/)) {
text = text.substring(4)
p.className = "h2 ds"
}