ふと思ったが、Webブラウザって、印刷->PDFで保存すると実際の画面とはだいぶ違う
見た目のものが出来上がる（ことが多い）よね。
これって要は印刷用に画面用とは別のWebレンダリングをしている感じ?

macOSって「PDFベースのレンダリングで画面表示も印刷もどうたら〜」みたいな話が
あったが、それは使ってないということかな?

あと、Safariの.ファイル > PDFとして書き出す ってPDFが画面のビットマップじゃなくて
テキストやイメージで作られてるんすか。