O que a barra inclinada significa na abreviação da fonte CSS?

Estou vendo a seguinte declaração CSS em uma folha de estilo:

font: 12px/18px ... 

O que a parte de 12px/18px significa exatamente?

12px é o tamanho da fonte, 18px é a altura da linha.

A syntax é baseada em notação tipográfica para especificar os respectivos tamanhos e é aplicável apenas à propriedade abreviada de font . Em outras palavras, a declaração acima simplesmente se expande para o seguinte:

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

Como sempre, se você definir a altura da linha como um valor relativo (por exemplo, porcentagem ou ems), ela será calculada em relação ao tamanho da fonte.

Referência de propriedade de font W3C CSS2.1
W3C CSS3 Fonts Referência da propriedade da font módulo (a syntax transita do CSS2.1)

É equivalente a:

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