diff options
| author | Adam Tauber <asciimoo@gmail.com> | 2017-08-08 16:03:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-08 16:03:33 +0200 |
| commit | 5082b4f1658d7db39f4815cbe9dd43089943b426 (patch) | |
| tree | 7404240674ad0c5c3b23ce77dc2fb43c20174318 /searx/static/themes/simple/less/mixins.less | |
| parent | 98e6b4d830ef8101bfdf06e304b98f0125b8ce35 (diff) | |
| parent | ac59f5e1686ccc5d96055d23fd8bed6e8473f745 (diff) | |
Merge pull request #858 from dalf/simple
Simple theme
Diffstat (limited to 'searx/static/themes/simple/less/mixins.less')
| -rw-r--r-- | searx/static/themes/simple/less/mixins.less | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/searx/static/themes/simple/less/mixins.less b/searx/static/themes/simple/less/mixins.less new file mode 100644 index 000000000..097ab4964 --- /dev/null +++ b/searx/static/themes/simple/less/mixins.less @@ -0,0 +1,62 @@ +/* +* 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: all; + 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; +} |