New design also for game overview page

leanprover-community / lean4game

Server to host lean games.

https://adam.math.hhu.de

GNU General Public License v3.0

199 stars 35 forks source link

New design also for game overview page #96

Closed TentativeConvert closed 1 year ago

TentativeConvert commented 1 year ago

In particular:

blue title bar
impressum accessible via info-button in title bar (rather than shield in lower right corner)
text in chat design

joneugster commented 1 year ago

Done, except colouring the chat in blue bubbles, opened an issue #100 for this, to discuss if that's even desired.

TentativeConvert commented 1 year ago

Very nice. I was a bit worried initially about "hiding" the impressum in the drop-down menu, but that seems to be fine:

https://www.e-recht24.de/impressum/4911-impressum-2-klicks.html

TentativeConvert commented 1 year ago

However, the design of the world overview menu is still different from the design of the menu on the level pages, and the same is true for the impressum itself – it looks different when I access it from the world overview page. Could we have this consistent, one way or the other?

joneugster commented 1 year ago

Thats now fixed (locally on my computer)