String borderTopWidth
read / write

Gets the value of "border-top-width" */

/** Sets the value of "border-top-width"