1 @board-inner-width: 358px;
2 @board-inner-height: 410px;
3 @board-pad: 15px; // also in main.coffee
4 @board-width: @board-inner-width + @board-pad * 2;
5 @board-height: @board-inner-height + @board-pad * 2;
9 @tabtab-height: 20px; // also in main.coffee
10 @tab-height: 150px; // also in main.coffee
13 @copyright-height: 20px;
16 @tabtab-color: darken(@tab-color, 3%);
17 @selected-color: #ffa;
18 @selected-good-color: #cfc;
23 font: 14px Verdana, Arial, free-sans, sans-serif;
29 width: @board-width + @column-pad + @right-width;
30 height: @board-height;
39 height: @board-height;
41 box-shadow: inset 1px 1px 4px #888;
48 width: @board-inner-width;
49 height: @board-inner-height;
54 left: @board-width + @column-pad;
56 height: @board-height;
70 height: @tabtab-height * 4 + @tab-height;
76 color: darken(@selected-color, 66%);
80 color: darken(@selected-good-color, 66%);
89 .tab + .tab, .selected-tab + .tab, .tab + .selected-tab {
93 height: @tabtab-height;
95 background: @tabtab-color;
98 height: @tab-height - @tabtab-height - @tab-pad * 2;
99 padding: (@tab-pad - 1) (@tab-pad - 1) @tab-pad (@tab-pad + 1);
101 .selected-tab, .tab {
103 box-shadow: 1px 1px 3px #888;
104 background: @tab-color;
120 color: darken(@tab-color, 50%);
122 .tabtab:hover:before {
128 top: @board-height - @row-pad - @copyright-height;
137 background-color: #aaf;
146 -khtml-user-select: none;
147 -o-user-select: none;
148 -moz-user-select: -moz-none;
149 -webkit-user-select: none;
150 box-shadow: 1px 1px 2px #666;
152 .tile.selected, .tile.selected_word {
153 background-color: @selected-color;
154 box-shadow: inset 1px 1px 5px #444;
156 .tile.selected_word {
157 background-color: @selected-good-color;
175 border: 2px solid #a83;
177 background-color: white;
184 border-width: 4px 4px 3px 4px;
189 border-width: 3px 4px 4px 2px;
191 .tooth1, .tooth2, .tooth3, .tooth4 {
194 border: 2px solid #a83;
195 background-color: white;
202 border-width: 2px 0 2px 2px;
208 border-width: 0 2px 2px 2px;
217 border: 2px solid #a83;
218 border-radius: 0 13px 0 0;
224 border-width: 2px 2px 2px 0;
230 border-width: 2px 2px 0 2px;
239 border: 2px solid #a83;
240 border-radius: 0 0 0 13px;
243 height: @tab-height - @tabtab-height;