diff options
Diffstat (limited to 'public/less')
| -rw-r--r-- | public/less/_repository.less | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/public/less/_repository.less b/public/less/_repository.less index 0fdc23df24..0eea2d778a 100644 --- a/public/less/_repository.less +++ b/public/less/_repository.less @@ -1360,3 +1360,13 @@ width: 100%!important; } } + +// generate .tab-size-{i} from 1 to 16 +.generate-tab-size(16); +.generate-tab-size(@n, @i: 1) when (@i =< @n) { + .tab-size-@{i} { + tab-size: @i !important; + -moz-tab-size: @i !important; + } + .generate-tab-size(@n, (@i + 1)); +} |