////
/// @group theme
////

/// Border styles
$border-color-light: $gray4 !default;
$border-width: 1px !default;
$border-light: $border-width solid $border-color-light !default;