v1.8.5

This fixes a crash related to the leaderboard server not responding as well as some visual styling.

Thanks to @cascheberg for both fixes!