Das PDF soll die Formatierung aus dem CSS auslesen können.
Mit anderen Worten, ich möchte keinerlei Aufwand in die Erstellung des PDF's stecken müssen.
Das dürfte mit PHP oder einem PHP-Framework schwierig werden, weil die Seite(n) praktisch gerendert werden muss.
Eventuell ist wkhtmltopdf eine Lösung. Es benutzt die webkit-Engine.
Seite abholen, temporäres PDF erzeugen - eventuell unterstützt wkhtmltopdf auch die Rückgabe in die Konsole (also PHP) z.B. mit
wkhtmltopdf "http://example.com/tolleSeite" -
und dann aussenden... Freilich muss Du dafür auf dem Server Software installieren können.