Indeed, I can't think of anybody who prefers <button> to <div><div><div><div class="button xl red-border top-pad-2x rounded-corner-in-bottom-left-but-not-other-corners" onclick="javascript:...">