@import './index'; @table-padding-vertical-md: @table-padding-vertical * 3 / 4; @table-padding-horizontal-md: @table-padding-horizontal / 2; @table-padding-vertical-sm: @table-padding-vertical / 2; @table-padding-horizontal-sm: @table-padding-horizontal / 2; .table-size(@size, @padding-vertical, @padding-horizontal) { .@{table-prefix-cls}.@{table-prefix-cls}-@{size} { .@{table-prefix-cls}-title, .@{table-prefix-cls}-footer, thead > tr > th, tbody > tr > td { padding: @padding-vertical @padding-horizontal; } .@{table-prefix-cls}-filter-column { margin: -@padding-vertical -@padding-horizontal; } .@{table-prefix-cls}-expanded-row-fixed { margin: -@padding-vertical -@padding-horizontal; } } } // ================================================================ // = Middle = // ================================================================ .table-size(~'middle', @table-padding-vertical-md, @table-padding-horizontal-md); // ================================================================ // = Small = // ================================================================ .table-size(~'small', @table-padding-vertical-sm, @table-padding-horizontal-sm);