Dấu gạch chéo phía trước có nghĩa gì trong cách viết tắt phông chữ CSS?

Tôi đang thấy khai báo CSS sau trong biểu định kiểu:

font: 12px/18px ...

Không những gì 12px/18pxmột phần có nghĩa là chính xác?

12pxlà cỡ chữ, 18pxlà chiều cao dòng.

Cú pháp dựa trên ký hiệu đánh máy để chỉ định kích thước tương ứng và chỉ áp dụng cho thuộc tính tốc fontký. Nói cách khác, khai báo trên chỉ đơn giản là mở rộng ra như sau:

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

Như mọi khi, nếu bạn đặt chiều cao của dòng thành một giá trị tương đối (ví dụ: tỷ lệ phần trăm hoặc phần tử), thì nó được tính tương đối với kích thước phông chữ.

W3C CSS2.1 fonttài liệu tham khảo hữu
W3C CSS3 Fonts Mô-đun fonttài liệu tham khảo hữu (cú pháp mang lại từ CSS2.1)

Nó tương đương với:

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