@tabs-top: 120px;
@tabtab-height: 20px; // also in main.coffee
@tab-height: 150px; // also in main.coffee
+@tab-pad: 5px;
@row-pad: 10px;
@copyright-height: 20px;
position: absolute;
top: @tabs-top;
height: @tabtab-height * 4 + @tab-height;
+ width: @right-width;
}
.tab + .tab, .selected-tab + .tab, .tab + .selected-tab {
margin-top: 5px;
padding: 0 0 0 3px;
background: @tabtab-color;
}
+ .tabbody {
+ height: @tab-height - @tabtab-height - @tab-pad * 2;
+ padding: (@tab-pad - 1) (@tab-pad - 1) @tab-pad (@tab-pad + 1);
+ }
.selected-tab, .tab {
overflow: hidden;
box-shadow: 1px 1px 3px #888;