Update main.inc.php.dist

Added default_font_size Option.