Improved default look and feel of PDF export
Last modified by Anca Luca on 2018/11/18
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.).