The compilation to html is being done by pandoc, so I have no saying in how the tags are generated. I don't really know anything about web dev, so this is the

The compilation to html is being done by pandoc, so I have no saying in how the tags are generated. I don't really know anything about web dev, so this is the best I can do :( I just write Latex and markdown and wrestle with pandoc to make an html out of those :D