pt ist nicht px.
line-height:13pt wäre die richtige Antwort gewesen.
sagen wir 13*1,3 = 17px :)
(wobei die Frage, ob pt für Bildschirmdarstellung geeignet ist, mal außen vor bleibt).
siehe oben. War wohl etwas wunschdenken von mir bei ;)
@Sascha zum Verständnis:
was 1pt auf einem Bildschirm ist, ist quasi glückssache. Es *sollen* 1,3px sein, aber in der Praxis kann da alles zwischen 1 und 2px rauskommen. Zudem wird am Ende noch gerundet. Die einzige absolute Größe, auf die man sich am PC verlassen kann, sind px. Beim Druck sind es dann wieder die pt :)