1 | //color
|
---|
2 | $tabbar-base-color: rgba(0,0,0,0) !default;
|
---|
3 | $tabbar-background-gradient: null !default;
|
---|
4 |
|
---|
5 | //background
|
---|
6 | $tab-base-color: rgba(0,0,0,0) !default;
|
---|
7 | $tab-base-color-over: lighten($panel-base-color, 15%) !default;
|
---|
8 | $tab-base-color-active: $content-color !default;
|
---|
9 | $tab-base-color-disabled: $tab-base-color !default;
|
---|
10 |
|
---|
11 | $tab-background: $tab-base-color !default;
|
---|
12 | $tab-background-active: $tab-base-color-active !default; // Deprecated, just use base
|
---|
13 | $tab-background-disabled: $tab-base-color-disabled !default; // Deprecated
|
---|
14 |
|
---|
15 | $tab-color: color-by-background($panel-base-color, 80%) !default;
|
---|
16 | $tab-color-over: color-by-background($panel-base-color, 100%) !default;
|
---|
17 | $tab-color-active: color-by-background($tab-base-color-active, 80%) !default;
|
---|
18 | $tab-color-disabled: rgba($tab-color, .5) !default;
|
---|
19 |
|
---|
20 | $tab-font-size: $font-size !default;
|
---|
21 | $tab-font-size-over: $tab-font-size !default; // Deprecated
|
---|
22 | $tab-font-size-active: $tab-font-size !default; // Deprecated
|
---|
23 | $tab-font-size-disabled: $tab-font-size !default; // Deprecated
|
---|
24 |
|
---|
25 | $tab-font-family: $font-family !default;
|
---|
26 | $tab-font-family-over: $tab-font-family !default; // Deprecated
|
---|
27 | $tab-font-family-active: $tab-font-family !default; // Deprecated
|
---|
28 | $tab-font-family-disabled: $tab-font-family !default; // Deprecated
|
---|
29 |
|
---|
30 | $tab-font-weight: bold !default;
|
---|
31 | $tab-font-weight-over: $tab-font-weight !default;
|
---|
32 | $tab-font-weight-active: $tab-font-weight !default;
|
---|
33 | $tab-font-weight-disabled: $tab-font-weight !default;
|
---|
34 |
|
---|
35 | $tab-background-gradient: flat !default;
|
---|
36 | $tab-background-gradient-over: $tab-background-gradient !default; // Deprecated
|
---|
37 | $tab-background-gradient-active: $tab-background-gradient !default; // Deprecated
|
---|
38 | $tab-background-gradient-disabled: $tab-background-gradient !default; // Deprecated
|
---|
39 |
|
---|
40 | //borders
|
---|
41 | $tab-inner-border: false !default;
|
---|
42 |
|
---|
43 | $tab-top-border-radius: 3px 3px 0 0 !default;
|
---|
44 | $tab-top-border-width: 0 !default;
|
---|
45 | $tab-top-inner-border-width: 1px 1px 0 !default;
|
---|
46 |
|
---|
47 | $tab-bottom-border-radius: 0 0 3px 3px !default;
|
---|
48 | $tab-bottom-border-width: 0 1px 1px 1px !default;
|
---|
49 | $tab-bottom-inner-border-width: 0 1px 1px 1px !default;
|
---|
50 |
|
---|
51 | $tab-border-color: $stroke-color !default;
|
---|
52 | $tab-border-color-over: $tab-border-color !default; // Deprecated
|
---|
53 | $tab-border-color-active: $tab-border-color !default; // Deprecated
|
---|
54 | $tab-border-color-disabled: $tab-border-color !default; // Deprecated
|
---|
55 |
|
---|
56 | $tab-inner-border-color: lighten($tab-background, 7%) !default;
|
---|
57 |
|
---|
58 | $tabbar-border-color: $stroke-color !default;
|
---|
59 |
|
---|
60 | //size
|
---|
61 | $tab-height: ceil($font-size-large * 2) !default;
|
---|
62 | $tab-spacing: 1px !default;
|
---|
63 | $tab-icon-size: 16px !default;
|
---|
64 |
|
---|
65 | //tab bar body border and padding
|
---|
66 | $tabbar-top-body-border-width: 0 !default;
|
---|
67 | $tabbar-top-body-padding: 5px 0 0 !default;
|
---|
68 | $tabbar-top-plain-body-border-width: 0 !default;
|
---|
69 | $tabbar-top-plain-body-padding: 0 !default;
|
---|
70 | $tabbar-bottom-body-border-width: 0 !default;
|
---|
71 | $tabbar-bottom-body-padding: 0 !default;
|
---|
72 | $tabbar-bottom-plain-body-border-width: 0 !default;
|
---|
73 | $tabbar-bottom-plain-body-padding: 0 !default;
|
---|
74 |
|
---|
75 | //closable tab
|
---|
76 | $tab-closable-icon: 'tab/tab-default-close.gif' !default;
|
---|
77 | $tab-closable-icon-width: 11px !default;
|
---|
78 | $tab-closable-icon-height: 11px !default;
|
---|
79 | $tab-closable-icon-top: 2px !default;
|
---|
80 | $tab-closable-icon-right: 2px !default;
|
---|
81 | $nbr-tab-closable-icon-top: 0px !default;
|
---|
82 | $nbr-tab-closable-icon-right: 0px !default;
|
---|
83 |
|
---|
84 | //tab bar strip
|
---|
85 | $tabbar-strip-height: 3px !default;
|
---|
86 | $tabbar-strip-border-color: $stroke-color !default;
|
---|
87 | $tabbar-strip-background-color: mix($tab-base-color, $base-color, 70) !default;
|
---|
88 | $tabbar-top-strip-border-width: 1px 1px 0 !default;
|
---|
89 | $tabbar-bottom-strip-border-width: 0 1px 1px !default;
|
---|