From 28a597e43e0a450631c6aa8178258356f8927209 Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Tue, 23 Nov 2021 16:17:38 +0100 Subject: [PATCH] [simple theme] remove '-webkit-border-radius' property [1] https://github.com/searxng/searxng/pull/537#issuecomment-976582675 Suggested-by: @dalf [1] Signed-off-by: Markus Heiser --- searx/static/themes/simple/src/less/mixins.less | 3 --- 1 file changed, 3 deletions(-) diff --git a/searx/static/themes/simple/src/less/mixins.less b/searx/static/themes/simple/src/less/mixins.less index 00a2bb706..75c6703a1 100644 --- a/searx/static/themes/simple/src/less/mixins.less +++ b/searx/static/themes/simple/src/less/mixins.less @@ -11,17 +11,14 @@ } .rounded-corners (@radius: 10px) { - -webkit-border-radius: @radius; border-radius: @radius; } .rounded-right-corners (@radius: 0 10px 10px 0) { - -webkit-border-radius: @radius; border-radius: @radius; } .rounded-corners-tiny (@radius: 5px) { - -webkit-border-radius: @radius; border-radius: @radius; }