Improved default look and feel of PDF export
Last modified by Vincent Massol on 2021/04/06
The look and feel of the default PDF export was slightly improved: sans serif font is now used by default and some graphic elements were added to better separate the regions of the page (header, footer, etc.).