1. 2009-06-20 font size of footnote number mark in footnote line lyx-users Markus =?iso-8859-1?q?B=FC