As the page you linked to says, CSS px is also DPI-dependant, since it's defined as 1/96in. (There's even a diagram showing how one px can be many hardware pixels/dots on high-DPI output)