Merge pull request #54 from ThomasRubini/client_game-room-players-design-improvements

[Client] Improve game room players name design
This commit is contained in:
AudricV 2023-01-16 09:46:03 +01:00 committed by GitHub
commit 81e2e1ad6c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -170,8 +170,12 @@ html {
.player_names {
border: 0.25em white solid;
border-radius: 0.75em;
font-family: "Roboto Mono", sans-serif;
font-size: 1.25em;
max-height: 12em;
min-width: 25em;
overflow-y: scroll;
padding: 0.25em;
}
.player_name {