I noticed it put this css
outline: #858585 1px solid;
right after the border, and radius.
I have personally never used outline, and wondered why it was used, because it gave the button an outline that was square even though the corners of the button were rounded, so it made the corners look odd.
Unfortunately, outline doesn't work with rounded corners. It is like a second border. We could remove outline as an option, or create cases for that option in the UI to become disabled, but we decided to leave it in. You never know... Someone might think the example I attached is the single greatest button ever made.
Blasphemers! You and Daryl, both! I'll pass your preset comments along to the design team... and pitch my outline button to them while I'm at it....
Thanks for the feedback, Tom.