Ok, it looks like there is no style property called
border-Thickness (or borderThickness) for a button.
However, I've seen code that uses this and the button
actually shows a thicker border. The Flex Style Explorer is one
such application that lets you set this property and it (seems) to
use the border-thickness style property.