summaryrefslogtreecommitdiffstats
path: root/public
diff options
context:
space:
mode:
authorAndrey Nering <andrey.nering@gmail.com>2016-08-11 21:07:09 -0300
committer无闻 <u@gogs.io>2016-08-11 17:07:09 -0700
commitdbed39ba05fd498dad6cd3bf127c1f68056bf2ab (patch)
tree5f57a18ecdb444bbf52e583894fc38f2d8d50280 /public
parentaa1fc30b898a928ddafbfd0fddc47547c04f96e5 (diff)
downloadgitea-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')
-rw-r--r--public/css/gogs.css64
-rw-r--r--public/less/_repository.less10
2 files changed, 74 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;
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));
+}