html: Tidy headers

Ensure consistent headers across all html files