do we have other typography mixins to reference here instead of the 4/5ths multiplier? alternatively we could wrap this in parens ex ($body-font-size*.80);