From da2a93b7c5944a4d149dcb247ccc56069b8c90d0 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Sat, 8 Jul 2023 00:01:22 +0200 Subject: Tweak layout for mobile. --- play.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'play.js') diff --git a/play.js b/play.js index 114f8da..1c3e18a 100644 --- a/play.js +++ b/play.js @@ -667,6 +667,7 @@ let ui = { combat_mask: document.getElementById("combat_mask"), discard: document.getElementById("discard"), played_header: document.getElementById("played_header"), + played_panel: document.getElementById("played_panel"), played: document.getElementById("played"), market: document.getElementById("market"), pieces: document.getElementById("pieces"), @@ -1448,7 +1449,7 @@ function on_update() { ui.active_event.replaceChildren() ui.active_event.appendChild(ui.event_cards[view.event]) - ui.played_header.className = "panel_header p_" + PLAYER_CLASS[view.current] + ui.played_panel.className = "panel p_" + PLAYER_CLASS[view.current] ui.played_header.textContent = PLAYER_NAME[view.current] + " Played" ui.played.className = "panel_body p_" + PLAYER_CLASS[view.current] ui.played.replaceChildren() -- cgit v1.2.3