diff options
| -rw-r--r-- | play.html | 8 | ||||
| -rw-r--r-- | play.js | 3 |
2 files changed, 11 insertions, 0 deletions
@@ -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; @@ -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 |