Give html extension for syntax highlighting