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/css | |
| 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/css')
| -rw-r--r-- | public/css/gogs.css | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/public/css/gogs.css b/public/css/gogs.css index c39c52ca22..b40ed0855d 100644 --- a/public/css/gogs.css +++ b/public/css/gogs.css @@ -2312,6 +2312,70 @@ footer .ui.language .menu { #delete-repo-modal .ui.message { width: 100%!important; } +.tab-size-1 { + tab-size: 1 !important; + -moz-tab-size: 1 !important; +} +.tab-size-2 { + tab-size: 2 !important; + -moz-tab-size: 2 !important; +} +.tab-size-3 { + tab-size: 3 !important; + -moz-tab-size: 3 !important; +} +.tab-size-4 { + tab-size: 4 !important; + -moz-tab-size: 4 !important; +} +.tab-size-5 { + tab-size: 5 !important; + -moz-tab-size: 5 !important; +} +.tab-size-6 { + tab-size: 6 !important; + -moz-tab-size: 6 !important; +} +.tab-size-7 { + tab-size: 7 !important; + -moz-tab-size: 7 !important; +} +.tab-size-8 { + tab-size: 8 !important; + -moz-tab-size: 8 !important; +} +.tab-size-9 { + tab-size: 9 !important; + -moz-tab-size: 9 !important; +} +.tab-size-10 { + tab-size: 10 !important; + -moz-tab-size: 10 !important; +} +.tab-size-11 { + tab-size: 11 !important; + -moz-tab-size: 11 !important; +} +.tab-size-12 { + tab-size: 12 !important; + -moz-tab-size: 12 !important; +} +.tab-size-13 { + tab-size: 13 !important; + -moz-tab-size: 13 !important; +} +.tab-size-14 { + tab-size: 14 !important; + -moz-tab-size: 14 !important; +} +.tab-size-15 { + tab-size: 15 !important; + -moz-tab-size: 15 !important; +} +.tab-size-16 { + tab-size: 16 !important; + -moz-tab-size: 16 !important; +} .organization { padding-top: 15px; padding-bottom: 80px; |