body, html { margin: 0; padding: 0; height: 100%; font-family: sans-serif; }
#map { height: 90vh; }
/* This needs to be 'display: none;' by default for security, until server-side logic makes it visible */
#admin-tools { padding: 10px; background: #f5f5f5; text-align: center; display: none; }
.star { display: inline-block; font-size: 1.2em; font-weight: bold; margin-right: 4px; }
.gold { color: gold; }
.silver { color: silver; }
.bronze { color: #cd7f32; }
.red { color: red; }
.darkred { color: darkred; }