@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;
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;
border: 2px solid #a83;
border-radius: 0 0 0 13px;
}
-#definition {
+#definition_body {
+ height: @tab-height - @tabtab-height;
overflow: auto;
}
#definition_credit {