Added theme_format_title() (and related) to allow themes to modify the output.