Re: [O] [dev] footnotes improvements

[Nicolas Goaziou]

Hello,

I've updated some changes that should hopefully fix most issues reported
in this thread. git pull -f may be required.

The footnotes are completely fontified again.

Again, feedback is more than welcome.

Regards,

-- 
Nicolas Goaziou