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

[Bastien]

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

> Nicolas' patch is already applied and far more complete than mine. So
> I guess it's decided ;-)

Great -- thanks for the update!

-- 
 Bastien