{# NOTE: We specify the font size in pixels, rather than as a percentage, since this label should be added to a counter. #}