Re: [O] [BUG] Ugly checkbox on HTML export

[Bastien]

Hi Manuel,

Manuel Giraud <manuel.gir...@univ-nantes.fr> writes:

> Oops, the previous patch was applied on top on another one I have
> here. This one's better.

I let Nicolas decide on this one.

-- 
 Bastien