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