diff options
Diffstat (limited to 'play.html')
| -rw-r--r-- | play.html | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -34,7 +34,7 @@ padding: 2px 8px; } -#log .t { +#log .p1, #log .p2 { text-align: right; background-color: wheat; margin: 8px 0; @@ -44,8 +44,15 @@ #log div.i1 { padding-left: 32px; text-indent: -12px; } #log div.i2 { padding-left: 44px; text-indent: -12px; } -#log .i { +#log .lore { font-style: italic; + text-indent: 0; + padding-left: 8px; +} + +#log .rule { + text-indent: 0; + padding-left: 8px; } #log .n { padding: 0 3px } @@ -370,7 +377,7 @@ body.shift .number { display: block; } <div id="log"></div> </aside> -<main data-min-zoom="0.5" data-max-zoom="1.125" data-map-xheight="500"> +<main data-min-zoom="0.5" data-max-zoom="1.125" data-map-height="500"> <div class="table"> |