Open leoheitmannruiz opened 3 weeks ago
The pdfs don't embed their fonts and pdf.js is falling back on the system ones. For example for the shell tuto, the missing fonts are Times-*** and very likely, whatever your desktop OS is, there's a good substitution for them. On mobile, usually, there are only few fonts which have been designed to be used on mobile... so we're falling back on a font with very different char widths. We recently fixed a similar issue for Fenix: https://bugzilla.mozilla.org/show_bug.cgi?id=1882613.
Glad to know what's going on, thanks a lot!
Can this be fixed?
https://github.com/pmetzger/ShellTutorial/releases/download/20131218/ShellTutorial.pdf https://doc.cat-v.org/plan_9/9.intro.pdf
(both seem to have been created using troff)
Configuration:
Steps to reproduce the problem:
What is the expected behavior?
Firefox on desktop:![pdf-desktop](https://github.com/mozilla/pdf.js/assets/148111793/6934594c-451d-4317-a1c8-313472bd166e)
What went wrong?
Vanadium on GrapheneOS:![pdf-android](https://github.com/mozilla/pdf.js/assets/148111793/5b37b002-9376-48ee-acf1-0c97ee880341)