From: Ralf Jung Date: Tue, 14 May 2019 13:09:56 +0000 (+0200) Subject: consistently separate footnotes from text X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/c790f6cb9bc0b98315dd30f82f5f8d9a6dea4e01?hp=c790f6cb9bc0b98315dd30f82f5f8d9a6dea4e01 consistently separate footnotes from text ---