Que signifie la barre oblique dans les raccourcis de police CSS?

Je vois la déclaration CSS suivante dans une feuille de style:

font: 12px/18px ... 

Que signifie exactement la partie 12px/18px ?

12px est la taille de la police, 18px est la hauteur de la ligne.

La syntaxe est basée sur une notation typographique pour spécifier les tailles respectives et ne s’applique qu’à la propriété raccourcie de font . En d’autres termes, la déclaration ci-dessus se développe simplement comme suit:

 font-size: 12px; line-height: 18px; 

Comme toujours, si vous définissez la hauteur de la ligne sur une valeur relative (par exemple, pourcentage ou ems), elle est calculée par rapport à la taille de la police.

Référence de propriété de font W3C CSS2.1
Référence de propriété de font module de fonts CSS3 du W3C (la syntaxe est transférée de CSS2.1)

C’est équivalent à:

 font-size: 12px; line-height: 18px;