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%);
88 .tab + .tab, .selected-tab + .tab, .tab + .selected-tab {
92 height: @tabtab-height;
94 background: @tabtab-color;
97 height: @tab-height - @tabtab-height - @tab-pad * 2;
98 padding: (@tab-pad - 1) (@tab-pad - 1) @tab-pad (@tab-pad + 1);
100 .selected-tab, .tab {
102 box-shadow: 1px 1px 3px #888;
103 background: @tab-color;
119 color: darken(@tab-color, 50%);
121 .tabtab:hover:before {
127 top: @board-height - @row-pad - @copyright-height;
136 background-color: #aaf;
145 -khtml-user-select: none;
146 -o-user-select: none;
147 -moz-user-select: -moz-none;
148 -webkit-user-select: none;
149 box-shadow: 1px 1px 2px #666;
151 .tile.selected, .tile.selected_word {
152 background-color: @selected-color;
153 box-shadow: inset 1px 1px 5px #444;
155 .tile.selected_word {
156 background-color: @selected-good-color;
174 border: 2px solid #a83;
176 background-color: white;
183 border-width: 4px 4px 3px 4px;
188 border-width: 3px 4px 4px 2px;
190 .tooth1, .tooth2, .tooth3, .tooth4 {
193 border: 2px solid #a83;
194 background-color: white;
201 border-width: 2px 0 2px 2px;
207 border-width: 0 2px 2px 2px;
216 border: 2px solid #a83;
217 border-radius: 0 13px 0 0;
223 border-width: 2px 2px 2px 0;
229 border-width: 2px 2px 0 2px;
238 border: 2px solid #a83;
239 border-radius: 0 0 0 13px;
242 height: @tab-height - @tabtab-height;