R/data.R
mm_to_pt.Rd
Factor converting mm to pt
mm_to_pt
double
Various ggplot sizes are set using mms, this factor will adjust this to use pts instead.