coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coqdoc

From: Adam Chlipala <adamc AT csail.mit.edu>
To: vincent rahli <vincent.rahli AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coqdoc
Date: Mon, 13 Jan 2014 15:38:09 -0500

On 01/13/2014 03:25 PM, vincent rahli wrote:

With coqdoc, is there a way to customize the font sizes for code and comments?

Isn't it the case that coqdoc outputs code that refers either to a .sty file (LaTeX) or .css file (HTML), such that you can edit those files to customize styling?

[Coq-Club] Coqdoc, vincent rahli, 01/13/2014
- Re: [Coq-Club] Coqdoc, Adam Chlipala, 01/13/2014
  - Re: [Coq-Club] Coqdoc, Daniil Frumin, 01/13/2014