In a literate Agda file when rendered with agda --html, the comments are red. But in the way I use literate Agda, the comments are the substance and the code is the form of the substance. The substance shouldn't be red - plain black would work better with me. How can I change the colours of the substance and the form? Thanks, Martin