Guess it depends on how often it's used. 

My comment regarding the same font-size declared all over the place was more down to that fact that we're declaring 13 in a lot of places, if that ever needs to change we've got a large number of files to change it across.