diff options
| author | Andrey Nering <andrey.nering@gmail.com> | 2016-08-11 21:07:09 -0300 |
|---|---|---|
| committer | 无闻 <u@gogs.io> | 2016-08-11 17:07:09 -0700 |
| commit | dbed39ba05fd498dad6cd3bf127c1f68056bf2ab (patch) | |
| tree | 5f57a18ecdb444bbf52e583894fc38f2d8d50280 /public/less | |
| parent | aa1fc30b898a928ddafbfd0fddc47547c04f96e5 (diff) | |
| download | gitea-dbed39ba05fd498dad6cd3bf127c1f68056bf2ab.tar.gz gitea-dbed39ba05fd498dad6cd3bf127c1f68056bf2ab.zip | |
On showing diff/file, use the tab_width specified on .editorconfig, if any (#3241)
Closes #3182
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)); +} |