aboutsummaryrefslogtreecommitdiffstats
path: root/server/sonar-web/src/main/less/init
diff options
context:
space:
mode:
Diffstat (limited to 'server/sonar-web/src/main/less/init')
-rw-r--r--server/sonar-web/src/main/less/init/icons.less5
-rw-r--r--server/sonar-web/src/main/less/init/misc.less9
2 files changed, 14 insertions, 0 deletions
diff --git a/server/sonar-web/src/main/less/init/icons.less b/server/sonar-web/src/main/less/init/icons.less
index fe27ce965a9..e94718f0f4f 100644
--- a/server/sonar-web/src/main/less/init/icons.less
+++ b/server/sonar-web/src/main/less/init/icons.less
@@ -310,6 +310,7 @@ a[class^="icon-"], a[class*=" icon-"] {
}
.icon-bullet-list:before {
content: "\f03a";
+ font-size: @iconSmallFontSize;
}
.icon-settings:before {
content: "\f015";
@@ -586,6 +587,10 @@ a[class^="icon-"], a[class*=" icon-"] {
content: "\f0b0";
font-size: @iconFontSize;
}
+.icon-lock:before {
+ content: "\f023";
+ font-size: @iconFontSize;
+}
.icon-issues {
display: inline-block;
.square(60px);
diff --git a/server/sonar-web/src/main/less/init/misc.less b/server/sonar-web/src/main/less/init/misc.less
index b766304822a..3cc8526e54d 100644
--- a/server/sonar-web/src/main/less/init/misc.less
+++ b/server/sonar-web/src/main/less/init/misc.less
@@ -43,6 +43,11 @@
.spacer-bottom { margin-bottom: 8px; }
.spacer-top { margin-top: 8px; }
+.big-spacer-left { margin-left: 16px; }
+.big-spacer-right { margin-right: 16px; }
+.big-spacer-bottom { margin-bottom: 16px; }
+.big-spacer-top { margin-top: 16px; }
+
.little-spacer-left { margin-left: 4px; }
.little-spacer-right { margin-right: 4px; }
.little-spacer-bottom { margin-bottom: 4px; }
@@ -62,12 +67,16 @@ td.spacer-top { padding-top: 8px; }
.bordered-bottom { border-bottom: 1px solid @barBorderColor; }
.bordered-top { border-top: 1px solid @barBorderColor; }
+.overflow-hidden { overflow: hidden; }
+
.width-100 { width: 100%; }
.width-80 { width: 80%; }
.width-60 { width: 60%; }
.width-55 { width: 55%; }
.width-50 { width: 50%; }
.width-40 { width: 40%; }
+.width-30 { width: 30%; }
+.width-25 { width: 25%; }
.width-20 { width: 20%; }
.width-15 { width: 15%; }