Размер границы CSS отличается в инструментах разработчика Chrome ⇐ CSS

[Anonymous]

Я установил размер границы второго тега div равным 4 пикселя.
Но инструменты разработчика Chrome показывают, что размер границы составляет 3,333 пикселя.
Я хочу знать, почему оно отличается.



Подробнее здесь: https://stackoverflow.com/questions/783 ... e-devtools