The Coq mailing list

[Daniil Frumin <difrumin AT gmail.com>]

As Adam has pointed out, you should edit the .css file.
After you generate the documentation with coqdoc you get coqdoc.css in
the directory. You can edit it and replace

.code {
    display: block;
/*  padding-left: 15px; */
    font-family: monospace;
 }

With something like

.code {
    display: block;
/*  padding-left: 15px; */
    font-size: 150%;
    font-family: monospace;
 }

On Tue, Jan 14, 2014 at 12:38 AM, Adam Chlipala 
<adamc AT csail.mit.edu>
 wrote:
> 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?



-- 
Sincerely yours,
-- Daniil