字体大小用除数表示？

Question

今天我遇到了以下css片段：

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

我无法在MDN的font-size section找到相关信息。

有人能快速解释一下它是如何运作的吗？

Answer 1

以下是对此的解释：

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

Look here

Answer 2

根据CSS spec，/令牌周围的值左侧为font-size，右侧为line-height。 /line-height部分是可选的。