Имеет ли значение длины с плавающей запятой смысл в пиксельной единице?

Когда я пытаюсь написать стильный CSS для forums.asterisk.org, я видел, что они используют значение длины с плавающей запятой на пиксель, например: font-size: 13.1px;.

Насколько я знаю, пиксель - это наименьшая единица на экране, так что значение длины с плавающей запятой имеет смысл в пиксельном блоке?

Снимок экрана

forums.asterisk.org site use floating point length value on pixel unit

Ответ 1

Хорошо, рекомендация CSS позволяет использовать числа (а не только целые числа) в качестве значений для пикселей. Обратите внимание, что px на самом деле определяется в терминах in в рекомендации :

‘px’: пиксели; 1 px равна 1/96th из 1 in

В целом 13.1px будет таким же, как 0.1364in, где 13px будет 0.1354in. Разница небольшая, но заметная.

При этом вы должны использовать относительные значения, на мой взгляд, и pt для общего размера базы.