another 1.2.0 test

[Herbert Voss]

can somebody confirm?

a different fontsize for footnotes in the preferences has no
effect. the footnotetext has the same fontsize than the maintext.


Herbert