We can use the fancier glyphs in the future after we arrange for the
client to have the appropriate font glyphs available.
justify-content: center;
align-items: center;
font-size: 5vmin;
justify-content: center;
align-items: center;
font-size: 5vmin;
border-bottom: 1px solid #999;
border-right: 1px solid #999;
}
border-bottom: 1px solid #999;
border-right: 1px solid #999;
}
function team_symbol(team) {
if (team === "+")
function team_symbol(team) {
if (team === "+")
}
function undisplay(element) {
}
function undisplay(element) {