diff options
| author | Alexandre Flament <alex@al-f.net> | 2017-02-12 15:06:01 +0100 |
|---|---|---|
| committer | Alexandre Flament <alex@al-f.net> | 2017-08-06 16:04:21 +0200 |
| commit | 10a24bdc2c3870f07ec62dd710841628d325aaf6 (patch) | |
| tree | 400b579adb6268092f21ec21621a16c730cfef41 /searx/static/themes/simple/less/mixins.less | |
| parent | 4f6586d8085460c368ad16904685199de630e1c8 (diff) | |
[enh] add simple theme (WIP)
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; +} |