user/jszakmeister: allow the default font size to be overridden locally