// Common border-radius sizes
$border-radius-base:   3px !default;
$border-radius-large:  5px !default;
$border-radius-small:  2px !default;