Skip to content

Instantly share code, notes, and snippets.

@raphink
Created August 29, 2012 10:29
Show Gist options
  • Save raphink/3510070 to your computer and use it in GitHub Desktop.
Save raphink/3510070 to your computer and use it in GitHub Desktop.
\long\def\thefootnote{\fnsymbol{footnote}}
\Configure{footnotetext}{\global\setbox\footnotebox=\vtop\bgroup\NoFonts%
\ifvoid\footnotebox\else\unvbox\footnotebox\fi
\IgnorePar
\HCode{<div class="footnote"><p>}}{}{\HCode{</p></div>\Hnewline}\egroup}
\def\printfn{%
\ifvoid\footnotebox\else%
\HCode{<div class="footnotes">\Hnewline}\box\footnotebox\HCode{</div>\Hnewline}%
\fi%
}
\Configure{HtmlPar}
{\EndP\Tg<p>}
{\EndP\Tg<p>}
{\HCode{</p>\Hnewline}\printfn}
{\HCode{</p>\Hnewline}\printfn}
\Css{.footnote{font-size:x-small;}}
\Css{.footnotes {margin:0 10\%;border-top:1px black solid;border-bottom:1px black solid;}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment