[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 <markus.heiser@darmarit.de>
dependabot/pip/master/sphinx-6.1.3
Markus Heiser 3 years ago
parent 8935b1d8a2
commit 28a597e43e

@ -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;
}

Loading…
Cancel
Save