1 | // Graytones
|
---|
2 | @darkest: #111111;
|
---|
3 | @base: #333333;
|
---|
4 | @base1: #444444;
|
---|
5 | @base2: #555555;
|
---|
6 | @headers: #999999;
|
---|
7 | @text: #ffffff;
|
---|
8 | @inactivetext: #aaaaaa;
|
---|
9 | @disabledtext: #777777;
|
---|
10 |
|
---|
11 | // Colours
|
---|
12 | @blue: #0072bc;
|
---|
13 | @blue_light: #0794d1;
|
---|
14 | // @green: #3aa605; For now use the newer colours. Almost negligible difference, but looks better on non-calibrated monitors
|
---|
15 | // @green_light: #79ca0a;
|
---|
16 | @green: #25a000;
|
---|
17 | @green_light: #63c400;
|
---|
18 |
|
---|
19 | @orange: #ff5b12;
|
---|
20 | @orange_light: #ff9140;
|
---|
21 | @purple: #6529b7;
|
---|
22 | @purple_light: #993dec;
|
---|
23 | @red: #8c0310;
|
---|
24 | @red_light: #bd0013;
|
---|
25 |
|
---|
26 | // Layout related
|
---|
27 | @std_height: 24px;
|
---|
28 | @std_offset: 4px;
|
---|
29 | @std_offset_big: 8px;
|
---|
30 | @transition_time: 0.2s;
|
---|
31 | @tab_height: 30px;
|
---|
32 | @tab_width: 200px;
|
---|
33 |
|
---|
34 | // Headers and fonts
|
---|
35 | @h1Size: 48px;
|
---|
36 | @h2Size: 22px;
|
---|
37 | @h3Size: 18px;
|
---|
38 | @h4Size: 16px;
|
---|
39 | @font_size: 13px;
|
---|
40 | @font: 'Segoe UI', Helvetica, Verdana, Arial, sans-serif;
|
---|
41 |
|
---|
42 | // Icons
|
---|
43 | @icon_mainSize: 32px;
|
---|
44 | @icon_midSize: 24px;
|
---|
45 | @icon_smallSize: 16px;
|
---|
46 |
|
---|
47 | // IndexMenu
|
---|
48 | @indexmenu_blockheight: 400px;
|
---|
49 | @indexmenu_blockwidth: 400px;
|
---|
50 | @indexmenu_blockmargin: 16px;
|
---|
51 | @indexmenu_font_size: 32px;
|
---|
52 |
|
---|
53 | // Mainmenu
|
---|
54 | @button_mainmenu_height: 30px;
|
---|
55 | @button_mainmenu_spacing: 5px;
|
---|
56 | @button_mainmenu_padding: 4px;
|
---|
57 | @button_mainmenu_font_size: 24px;
|
---|
58 | @button_mainmenu_font_grow: @button_mainmenu_font_size / 12;
|
---|
59 |
|
---|
60 | // Index menu
|
---|
61 | @button_indexmenu_height: 32px;
|
---|
62 | @button_indexmenu_content_size: 24px;
|
---|
63 | @button_indexmenu_font_size: @h1Size;
|
---|
64 |
|
---|
65 | // SessionObject
|
---|
66 | @sessionobject_size: 100px;
|
---|
67 | @sessionObject_spacing: 2 * @std_offset_big;
|
---|
68 |
|
---|
69 | // Buttons
|
---|
70 | @button_large_height: 24px;
|
---|
71 | @button_large_spacing: @std_offset_big * 2;
|
---|
72 | @button_large_font_size: @button_large_height / 1.2;
|
---|
73 |
|
---|
74 | @button_block_height: 24px;
|
---|
75 | @button_block_spacing: 0;
|
---|
76 | @button_block_font_size: @font_size;
|
---|
77 |
|
---|
78 | @button_inline_height: 24px;
|
---|
79 | @button_inline_spacing: 0;
|
---|
80 | @button_inline_font_size: @font_size;
|
---|