Harcoded Font Sizes

Created by: adityavm

Considering we have a declaration of a @basefont, does it make sense to have a font-size: 13px hard-coded in places? There are quite a few like that (e.g. form elements).

This also makes it hard to make a global change to the font size in case we use a different font stack which requires a larger size than 13px.