2014-12-21-01.17.05: src/lib/x-kit/widget/theme/widget/widget-theme.pkg:  Add get_default_font_size, set_default_font_size.