Improved HTML output for function headers.