Duplicar posible:
What does this CSS shorthand font syntax mean?¿Qué hace 12px/13px en declaraciones de fuentes css?
vi mucha gente haciendo eso:
body {
font: bold 12px/13px Arial, Helvetica, sans-serif;
}
¿Qué es este 12px/13px para?
12px es el tamaño de letra y 13px la altura de línea.
Ejemplo de declaración de todas las propiedades de fuente en un trazador de líneas here.
Dicho todo esto, voy a añadir que esta es una forma bastante inusual de escribir y yo no lo recomendaría, ya que podría confundir a la mayoría de los desarrolladores.
El 12px es el alto de la fuente en píxeles. El 13px es el alto de la línea en píxeles.
Usted puede ver algo como
body { font:13px/1.231 sans-serif; *font-size:small; }
Note que no hay "px" después de 1.231 y la altura de la línea en este caso será de 123,1% del tamaño del texto. Esto se usa para unificar alturas de línea nativas que de lo contrario podrían ser más grandes o más pequeñas que las desea.
Aprender sintaxis alternativas en idiomas que supuestamente he dominado durante años me hace sentir realmente avergonzado :-) –