On hover, the CSS changes the margin from 2px to 1px and adds a 1px border. At 125% zoom, a 1px border has a computed value of 0.8px. Fun!