Thu Jul 31 22:08:12 2025: ---- begin
Thu Jul 31 22:08:12 2025: loading document: prince/license/license.dat
Thu Jul 31 22:08:12 2025: Loading document...
Thu Jul 31 22:08:12 2025: loading HTML5 input: lorem_mini_2_accessible.html
Thu Jul 31 22:08:12 2025: loading document: lorem_mini_2_accessible.html
Thu Jul 31 22:08:12 2025: Applying style sheets...
Thu Jul 31 22:08:12 2025: loading style sheet: prince_fixes.css
Thu Jul 31 22:08:12 2025: loading style sheet: base.min.css
Thu Jul 31 22:08:12 2025: loading style sheet: fancy.min.css
Thu Jul 31 22:08:12 2025: loading style sheet: lorem_mini_2.css
Thu Jul 31 22:08:12 2025: fancy.min.css: warning: unsupported properties: all
Thu Jul 31 22:08:12 2025: Preparing document...
Thu Jul 31 22:08:12 2025: loading image: bg1.png
Thu Jul 31 22:08:12 2025: loading image: bg2.png
Thu Jul 31 22:08:12 2025: loading image: transparent.png
Thu Jul 31 22:08:12 2025: Converting document...
Thu Jul 31 22:08:13 2025: loading font: f1.woff
Thu Jul 31 22:08:13 2025: used font: DejaVu Serif, Book
Thu Jul 31 22:08:13 2025: loading font: f3.woff
Thu Jul 31 22:08:13 2025: used font: Times New Roman, Regular
Thu Jul 31 22:08:13 2025: loading font: f2.woff
Thu Jul 31 22:08:13 2025: used font: Calibri, Bold
Thu Jul 31 22:08:13 2025: loading font: f4.woff
Thu Jul 31 22:08:13 2025: used font: Symbol, Regular
Thu Jul 31 22:08:13 2025: loading font: f5.woff
Thu Jul 31 22:08:13 2025: used font: Courier New, Regular
Thu Jul 31 22:08:13 2025: loading font: f6.woff
Thu Jul 31 22:08:13 2025: used font: Cambria, Regular
Thu Jul 31 22:08:13 2025: loading font: f7.woff
Thu Jul 31 22:08:13 2025: used font: DejaVu Serif, Bold
Thu Jul 31 22:08:13 2025: loading font: f8.woff
Thu Jul 31 22:08:13 2025: used font: DejaVu Serif, Book
Thu Jul 31 22:08:13 2025: used font: Times New Roman, Regular
Thu Jul 31 22:08:13 2025: writing PDF to file: lorem_mini_2_prince.pdf
Thu Jul 31 22:08:13 2025: loading image: bg1.png
Thu Jul 31 22:08:13 2025: finished: success
Thu Jul 31 22:08:13 2025: ---- end