![](https://secure.gravatar.com/avatar/29c7bbff49b1599eddb2ec73fd9ffa6e.jpg?s=120&d=mm&r=g)
6 Sep
2015
6 Sep
'15
1:15 p.m.
Indeed, this helped. Thanks.
For the record: in order to keep the position of the number in the footnote high, one has to use:
\def\redfootnotenumber#1{\color[red]{\high{#1}}}
\setupnotation[footnote][numbercommand=\redfootnotenumber]
Hans van der Meer
On 06 Sep 2015, at 12:29, Pablo Rodriguez