[Agda] literate colours

[Nils Anders Danielsson]

On 2015-05-15 21:47, Martin Escardo wrote:
> 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?

Edit the CSS file, Agda.css.

-- 
/NAD