Styles for HTML export for different source files