style classes for provenance, directive-html files and index.html