2016-03-11 00:48:53 +00:00
|
|
|
//
|
|
|
|
// Variables
|
|
|
|
// --------------------------------------------------
|
2020-12-17 09:31:21 +00:00
|
|
|
@header-background-color: var(--toolbar-header-document);
|
2016-03-11 00:48:53 +00:00
|
|
|
|
|
|
|
// Active color
|
|
|
|
// -------------------------
|
|
|
|
@blue-darker: #00f;
|
|
|
|
@blue-dark: #5170b5;
|
|
|
|
@blue: #5a7dc9;
|
|
|
|
@blue-light: #6b8acf;
|
|
|
|
@blue-lighter: #00f;
|
|
|
|
|
|
|
|
@brand-active: @blue-dark;
|
|
|
|
@brand-active-light: @blue-light;
|