It's a relative font size.

Ideally, with relative font dimensions we would only have to change the master font size to scale all fonts. It's pretty weird to use hard-coded pixel fonts in a separate file.