/* Current lobby: use the same pixel typeface as the title and battle UI. */
html,body,.lobby-loader,.loader-content,.destination-name,
.lobby h1,.lobby h2,.lobby p,.lobby span,.lobby small,
.lobby button,.lobby a,.lobby input,.lobby select{
 font-family:Galmuri11,monospace;
 font-synthesis:none;
}
.loader-content,.destination-name{font-weight:400}
