diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2021-11-04 07:22:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-04 07:22:59 +0000 |
| commit | 523b3c095222fc615dc02f27de1e94b2a7b6e270 (patch) | |
| tree | a4d3188df952cba32d1f450039cfee3bc503d138 /searx/static/themes/simple/src/less/mixins.less | |
| parent | 580a55fe866b82e93dec6bc4e07fa8a0f2056475 (diff) | |
| parent | aa08c48af8b8a7ebd82f1c8c0a639e9c9dbed063 (diff) | |
Merge pull request #474 from return42/simple-results
[simple theme] various improvements #474
Diffstat (limited to 'searx/static/themes/simple/src/less/mixins.less')
| -rw-r--r-- | searx/static/themes/simple/src/less/mixins.less | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/searx/static/themes/simple/src/less/mixins.less b/searx/static/themes/simple/src/less/mixins.less index 19955675b..cc4a5bc64 100644 --- a/searx/static/themes/simple/src/less/mixins.less +++ b/searx/static/themes/simple/src/less/mixins.less @@ -22,6 +22,12 @@ border-radius: @radius; } +.rounded-corners-tiny (@radius: 5px) { + -webkit-border-radius: @radius; + -moz-border-radius: @radius; + border-radius: @radius; +} + // disable user selection .disable-user-select () { -webkit-touch-callout: none; |