Use compact player record cards on mobile

docs/leaderboard.md

@@ -35,6 +35,13 @@ History pagination retains the selection and return link. Map links preserve
 the selected ranking metric. A player without qualifying matches in a selection
 can still view their lifetime profile and choose another scope.
 
+On phones, per-map records and match history use compact cards with the map,
+game, highest round and kills up front. Expand **All stats and record runs**
+or **More match stats** for the remaining counters and source evidence. Desktop
+profiles retain the complete tables; both views use the same history filters
+and pagination. History dates say **First observed**, since a missing start
+report can make the first recorded observation later than the actual game start.
+
 Highest-round, best-game-kill and highest-score records link to the completed
 match that earned them on the leaderboard and in lifetime/per-map profile stats.
 Each source shows its map, game, completion time, server, and whether the match