Fix UI

giongto35 · Apr 22, 2024 · d922e58 · d922e58
1 parent 8caad44
commit d922e58
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/web/css/main.css b/web/css/main.css
@@ -651,9 +651,9 @@ body {
     background: #000;
     opacity: .465;
 
-    font-size: 2vh;
+    font-size: 1.45vh;
     font-family: monospace;
-    min-width: 3.5em;
+    min-width: 3em;
 
     padding-right: .2em;
 

diff --git a/web/index.html b/web/index.html
@@ -1,3 +1,4 @@
+<!doctype html>
 <html lang="en">
 <head>
     <meta charset="utf-8"/>

diff --git a/web/js/app.js b/web/js/app.js
@@ -458,7 +458,6 @@ sub(MESSAGE, onMessage);
 
 sub(GAME_ROOM_AVAILABLE, onGameRoomAvailable, 2);
 sub(GAME_SAVED, () => message.show('Saved'));
-sub(GAME_LOADED, () => message.show('Loaded'));
 sub(GAME_PLAYER_IDX, data => {
     updatePlayerIndex(+data.index, state !== app.state.game);
 });

diff --git a/web/js/gui.js b/web/js/gui.js
@@ -33,7 +33,7 @@ const select = (key = '', callback = () => ({}), values = {values: [], labels: [
 
     select.append(_option(0, current === '', 'none'));
     values.values.forEach((value, index) => {
-        select.append(_option(value, current === value, values.labels?.[index]));
+        select.append(_option(value, current == value, values.labels?.[index]));
     });
 
     return el;