diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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" } |