forked from zaclys/searxng
459f33a18e
flexbox Browser support for flexbox is excellent, and the majority of browsers do not need a prefix at this point. Safari was the last of the major browsers to remove prefixes, with the release of Safari 9 in 2015. [1] user-select: Vendor prefix of user-select is not needed, see 'Browser compatibility' [2]. [1] https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Flexible_Box_Layout/Backwards_Compatibility_of_Flexbox#status_in_browsers [2] https://developer.mozilla.org/en-US/docs/Web/CSS/user-select#browser_compatibility Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
28 lines
556 B
Plaintext
28 lines
556 B
Plaintext
// SPDX-License-Identifier: AGPL-3.0-or-later
|
|
|
|
// 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: 10px) {
|
|
border-radius: @radius;
|
|
}
|
|
|
|
.rounded-right-corners (@radius: 0 10px 10px 0) {
|
|
border-radius: @radius;
|
|
}
|
|
|
|
.rounded-corners-tiny (@radius: 5px) {
|
|
border-radius: @radius;
|
|
}
|
|
|
|
// disable user selection
|
|
.disable-user-select () {
|
|
-webkit-touch-callout: none;
|
|
user-select: none;
|
|
}
|