Es ist noch schlimmer, er nimmmt nicht 8px sondern 8pt, das ist eine Einheit für die Druckausgabe, am Monitor richtet sie sich nach der eingestellten DPI Größe und das kann verdammt klein sein