Honestly, just pure laziness. It was easier to just style the div rather than override default button styles. Real world, yes, I’d definitely use the button element.