Andrew Truckle:
> I tried searching the source and could not find any other references to this property value. So it is not clear to me what the default actually is. Sorry!
A few lines earlier in the css.properties file:
# Default
style.css.32=$(font.code.base)
Neil