diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-06-16 09:28:45 +0200 |
|---|---|---|
| committer | Alexandre Flament <alex@al-f.net> | 2021-06-16 12:38:06 +0200 |
| commit | 6b80c57a3c04d6be37ae3c880f7e269fc362b107 (patch) | |
| tree | ec3009353dfd713f9d91cf074b10f5d7a6bdcd5a /searx/static/themes/simple/less/mixins.less | |
| parent | 49ea5b764454b4cd00eef67898b1c73ce3c28f31 (diff) | |
[mod] simple theme: move source files to the src directory
Diffstat (limited to 'searx/static/themes/simple/less/mixins.less')
| -rw-r--r-- | searx/static/themes/simple/less/mixins.less | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/searx/static/themes/simple/less/mixins.less b/searx/static/themes/simple/less/mixins.less deleted file mode 100644 index b3aa4e13d..000000000 --- a/searx/static/themes/simple/less/mixins.less +++ /dev/null @@ -1,62 +0,0 @@ -/* -* searx, A privacy-respecting, hackable metasearch engine -*/ - -// Mixins -.text-size-adjust (@property: 100%) { - -webkit-text-size-adjust: @property; - -ms-text-size-adjust: @property; - -moz-text-size-adjust: @property; - text-size-adjust: @property; -} - -.rounded-corners (@radius: 4px) { - -webkit-border-radius: @radius; - -moz-border-radius: @radius; - border-radius: @radius; -} - -// disable user selection -.disable-user-select () { - -webkit-touch-callout: none; - -webkit-user-select: none; - -khtml-user-select: none; - -moz-user-select: none; - -ms-user-select: none; - user-select: none; -} - -// select all on focus -.select-all-on-focus() { - -webkit-user-select: all; - -moz-user-select: all; - -ms-user-select: element; - user-select: all; -} - -// see https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Flexible_Box_Layout/Advanced_layouts_with_flexbox -.flexbox() { - display: -webkit-box; - display: -moz-box; - display: -webkit-flex; - display: -ms-flexbox; - display: flex; -} - -.inline-flex() { - display: -webkit-inline-box; - display: -moz-inline-box; - display: -webkit-inline-flex; - display: -ms-inline-flexbox; - display: inline-flex; -} - -.flex-direction-row() { - -webkit-box-direction: normal; - -webkit-box-orient: horizontal; - -moz-box-direction: normal; - -moz-box-orient: horizontal; - -webkit-flex-direction: row; - -ms-flex-direction: row; - flex-direction: row; -} |