Making these configurable in the theme-files would probably just add to clutter, and someone wanted to make a bevel more or less prominent, they could make the border or the bevel a lighter/darker color, or disable completely. Although, with that in mind, the alpha of the lower part of the bevel should probably be set to 0. Also I noticed an oversight here, the border should be rendered fully when there is no bevel present.