This is perhaps not the best place to discuss that, but thinking about it, I 
don't understand why text-font-size is dimensionless (when it actually does 
have a dimension). Wouldn't
text-font-size = 12 \pt
be more intuitive (and, at the same time, allowing also other units)?

AS

Reply via email to