diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -83,7 +83,7 @@ const space_names = [ "Catholic Church", "Social Movements", "Mont-Valérien", - "Fort D'Issy", + "Fort d'Issy", "Château de Vincennes", "Butte Montmartre", "Butte-Aux-Cailles", @@ -121,7 +121,7 @@ const boxes = { "Republicans": [490,428,126,126], "Catholic Church": [80,786,126,126], "Social Movements": [490,786,126,126], - "Fort D'Issy": [844,793,126,126], + "Fort d'Issy": [844,793,126,126], "Butte-Aux-Cailles": [1038,660,126,126], "Père Lachaise": [1206,591,126,126], "Château de Vincennes": [1342,650,126,127], @@ -366,6 +366,11 @@ function on_log(text) { p.className = 'h2' } + if (text.match(/^\.h3/)) { + text = text.substring(4) + p.className = 'h3' + } + p.innerHTML = text return p } |