33 lines
871 B
Plaintext
33 lines
871 B
Plaintext
@primary: #aea6e1; // primary color used in main texts
|
|
@secondary: #75a9d9; // secondary color used in some texts and text based buttons
|
|
@tertiary: #96ad01; // tertiary color used in other colored texts
|
|
@fg: #be9898;
|
|
@bg0: #f9f5f5;
|
|
@bg1: #f4f0f0;
|
|
@bg2: #f2edec;
|
|
@bg3: #efeae9;
|
|
@bg4: #ebe6e4;
|
|
@red: #f85552;
|
|
@orange: #ec9157;
|
|
@yellow: #dfa000;
|
|
@green: #96ad01;
|
|
@cyan: #25b7b8;
|
|
@blue: #75a9d9;
|
|
@purple: #aea6e1;
|
|
@pink: #f165bd;
|
|
@grey: #dfc5c5;
|
|
@red-bg: #fae1d7;
|
|
@green-bg: #eaf3ce;
|
|
@blue-bg: #e0f0f3;
|
|
@yellow-bg: #f6ead0;
|
|
@button1: #aea6e1;
|
|
@button2: #75a9d9;
|
|
@button-red: #f85552;
|
|
@key: @pink;
|
|
@operator: @purple;
|
|
@string: @green;
|
|
@value: @green;
|
|
@type: @orange;
|
|
@function: @blue;
|
|
@special: @cyan;
|