summaryrefslogtreecommitdiff
path: root/searx/static/themes/simple/src/less
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarIT.de>2021-11-23 20:25:17 +0100
committerGitHub <noreply@github.com>2021-11-23 20:25:17 +0100
commitdae165eaa02ff51f6c1aec8c1ab33dfe4aed3797 (patch)
treeddbfc10bf0bd4f0f7d01c7b0183ed353e02ec0c1 /searx/static/themes/simple/src/less
parent167e374ee190521bf5c1d7fe6348da54f2a64a5b (diff)
parent3364a15b3a61c55e2d2345e40d5145c2a61947e8 (diff)
Merge pull request #537 from return42/moz-warnings
[simple theme] remove '-moz-border-radius' property
Diffstat (limited to 'searx/static/themes/simple/src/less')
-rw-r--r--searx/static/themes/simple/src/less/mixins.less6
1 files changed, 0 insertions, 6 deletions
diff --git a/searx/static/themes/simple/src/less/mixins.less b/searx/static/themes/simple/src/less/mixins.less
index cc4a5bc64..75c6703a1 100644
--- a/searx/static/themes/simple/src/less/mixins.less
+++ b/searx/static/themes/simple/src/less/mixins.less
@@ -11,20 +11,14 @@
}
.rounded-corners (@radius: 10px) {
- -webkit-border-radius: @radius;
- -moz-border-radius: @radius;
border-radius: @radius;
}
.rounded-right-corners (@radius: 0 10px 10px 0) {
- -webkit-border-radius: @radius;
- -moz-border-radius: @radius;
border-radius: @radius;
}
.rounded-corners-tiny (@radius: 5px) {
- -webkit-border-radius: @radius;
- -moz-border-radius: @radius;
border-radius: @radius;
}