2017-02-12 14:06:01 +00:00
|
|
|
/*
|
2021-10-01 14:33:31 +00:00
|
|
|
* SearXNG, A privacy-respecting, hackable metasearch engine
|
2017-02-12 14:06:01 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
// Mixins
|
|
|
|
.text-size-adjust (@property: 100%) {
|
2021-06-22 11:50:06 +00:00
|
|
|
-webkit-text-size-adjust: @property;
|
|
|
|
-ms-text-size-adjust: @property;
|
|
|
|
-moz-text-size-adjust: @property;
|
|
|
|
text-size-adjust: @property;
|
2017-02-12 14:06:01 +00:00
|
|
|
}
|
|
|
|
|
2021-10-06 18:12:51 +00:00
|
|
|
.rounded-corners (@radius: 10px) {
|
2021-06-22 11:50:06 +00:00
|
|
|
border-radius: @radius;
|
2021-10-29 16:57:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.rounded-right-corners (@radius: 0 10px 10px 0) {
|
|
|
|
border-radius: @radius;
|
2021-11-03 22:59:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.rounded-corners-tiny (@radius: 5px) {
|
|
|
|
border-radius: @radius;
|
2017-02-12 14:06:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// disable user selection
|
|
|
|
.disable-user-select () {
|
2021-06-22 11:50:06 +00:00
|
|
|
-webkit-touch-callout: none;
|
|
|
|
-webkit-user-select: none;
|
|
|
|
-khtml-user-select: none;
|
|
|
|
-moz-user-select: none;
|
|
|
|
-ms-user-select: none;
|
|
|
|
user-select: none;
|
2017-02-12 14:06:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// select all on focus
|
|
|
|
.select-all-on-focus() {
|
2021-06-22 11:50:06 +00:00
|
|
|
-webkit-user-select: all;
|
|
|
|
-moz-user-select: all;
|
|
|
|
-ms-user-select: element;
|
|
|
|
user-select: all;
|
2017-02-12 14:06:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// 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() {
|
2021-06-22 11:50:06 +00:00
|
|
|
display: -webkit-inline-box;
|
|
|
|
display: -moz-inline-box;
|
|
|
|
display: -webkit-inline-flex;
|
|
|
|
display: -ms-inline-flexbox;
|
|
|
|
display: inline-flex;
|
2017-02-12 14:06:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.flex-direction-row() {
|
2021-06-22 11:50:06 +00:00
|
|
|
-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;
|
2017-02-12 14:06:01 +00:00
|
|
|
}
|