1 $buttongroup-background-color: #d0def0 !default;
2 $buttongroup-margin: 2px 0 2px 2px !default;
3 $buttongroup-border-radius: 3px !default;
4 $buttongroup-border-width: 1px !default;
5 $buttongroup-padding: 1px !default;
7 $buttongroup-inner-border-width: 1px !default;
8 $buttongroup-inner-border-color: $panel-header-inner-border-color !default;
10 $buttongroup-header-margin: 2px 2px 0 2px !default;
11 $buttongroup-header-font: normal ceil($font-size * .9) $font-family !default;
12 $buttongroup-header-color: #3E6AAA !default;
13 $buttongroup-header-padding: 1px 3px !default;
14 $buttongroup-header-background-color: #c2d8f0 !default;