Размер шрифта, выраженный делителем?

Question

Сегодня я наткнулся на следующий CSS сниппет:

#navigation { 
    font: bold 12px/18px "Trebuchet MS", Helvetica, Arial, sans-serif; 
} 

Я не могу найти информацию об этом в font-size section в MDN.

Не могли бы вы дать мне краткое объяснение того, как это работает?

Answer 1

Вот как это интерпретируется:

#navigation { 
    font: weight size/line-height family; 
} 

Look here.

Answer 2

Согласно CSS spec, значения вокруг / маркера являются font-size на левой стороне, и line-height справа. Раздел /line-height не является обязательным.