The source project of this merge request has been removed.
PDF output improvements
Tweaked PDF output
- Changed page numbering
- Changed ToC and section title formatting
- Updated images to have smaller margins
- Added info about typeset date
Tweaked PDF output