2017-12-07 18:00:13 +00:00
|
|
|
// This is a file for generic constants which we didn't want to hardcode everywhere.
|
|
|
|
|
// However, unlike colortheme, customizing these variables will cause breakage.
|
|
|
|
|
|
2017-09-25 09:48:42 +00:00
|
|
|
// Elements size
|
|
|
|
|
@variables_bar-height: 32px;
|
|
|
|
|
|
2017-12-07 18:00:13 +00:00
|
|
|
// Used in modal.less and alertify.less
|
|
|
|
|
@variables_padding: 12px;
|
|
|
|
|
@variables_shadow: 0 8px 32px 0 rgba(0,0,0,.4);
|
