Created by: cvrebert
Fixes #18424 (closed). Both widgets need to use the same border width because of input groups. Thus, s/[$]btn-border-width/[$]input-border-width/g
I admit $input-border-width
might stand to be renamed, but no great alternative name came to mind. Suggestions welcomed.
CC: @mdo