hhu-adam / Robo

A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
https://adam.math.hhu.de
Apache License 2.0
16 stars 9 forks source link

Logo, Level 14: Third column of table easily becomes invisible. #22

Closed TentativeConvert closed 4 months ago

TentativeConvert commented 4 months ago

On not-super-large screens, the table supplied in the hints is too wide and parts of it easily become hidden. Can we somehow make this table more narrow?

joneugster commented 4 months ago

Fixed in lean4game by adding the following CSS:

 .chat .message {
   margin-left: .5em;
   margin-right: .5em;
+  overflow-x: auto;
 }